Theorem IsStrictOrderedRing.of_mul_pos

Modification history