Theorem LinearOrderedRing.orderOf_le_two

Modification history