Def CommRing.limit_cone

Modification history