Def CategoryTheory.Comonad.ForgetCreatesLimits'.conePoint

Modification history