Def category_theory.monad.forget_creates_limits.lifted_cone

Modification history