Structure CategoryTheory.Endofunctor.Algebra

Modification history