P
Initializing...
The lexicographic cone satisfies the trichotomy law (Theorem 4 (ii)) · Prove2Me