Def CategoryTheory.Comonad.ForgetCreatesLimits'.newCone

Modification history