P

Initializing...

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