Theorem StarOrderedRing.nonneg_iff

Modification history