P
Initializing...
The lexicographic cone is closed under multiplication (Theorem 4 (i)) · Prove2Me