P
Initializing...
The lexicographic cone is invariant under conjugation (Theorem 4 (iii)) · Prove2Me