Theorem StarOrderedRing.of_nonneg_iff

Modification history