Def CategoryTheory.Comonad.ForgetCreatesColimits'.liftedCoconeIsColimit

Modification history