Theorem CategoryTheory.Comonad.hasColimit_of_comp_forget_hasColimit

Modification history