Def CategoryTheory.Comonad.ForgetCreatesColimits'.newCocone

Modification history