Def category_theory.limits.types.limit_is_limit

Modification history