Def LinearOrderedRing.mkOfCone

Modification history