Def CategoryTheory.Comonad.ForgetCreatesColimits'.coconePoint

Modification history