Theorem CategoryTheory.Comonad.coalgebra_iso_of_iso

Modification history