Theorem CategoryTheory.Comonad.forget_creates_limits_of_comonad_preserves

Modification history