Theorem CategoryTheory.Comonad.Coalgebra.id_eq_id

Modification history