Def SemiRing.has_limits.limit_cone_is_limit

Modification history