Def CategoryTheory.Endofunctor.Algebra.Hom.id

Modification history