Theorem StarOrderedRing.pos_iff

Modification history