Def category_theory.monad.forget_creates_limits.lifted_cone_is_limit

Modification history