Def Algebra.has_limits.limit_is_limit

Modification history