P
Initializing...
The lexicographic cone is invariant under decomposition-preserving automorphisms (Proposition 9) · Prove2Me