Def CategoryTheory.Comonad.ForgetCreatesColimits'.liftedCocone

Modification history