Theorem CategoryTheory.Comonad.ofLeftAdjoint_forget

Modification history