Theorem CategoryTheory.Endofunctor.Coalgebra.comp_eq_comp

Modification history