Def CategoryTheory.Endofunctor.Coalgebra.Hom.id

Modification history