Theorem CategoryTheory.Comonad.ForgetCreatesLimits'.commuting

Modification history