Def StarOrderedRing.ofLeIff

Modification history