Theorem CanonicallyOrderedAdd.toIsOrderedMonoid

Modification history