Def CommSemiRing.is_limit_lifted_cone

Modification history