Def CategoryTheory.Comonad.ForgetCreatesLimits'.liftedCone

Modification history