Def CommSemiRing.lifted_cone

Modification history