Theorem IsOrderedRing.toIsStrictOrderedRing

Modification history