Def CategoryTheory.endofunctorMonoidalCategory

Modification history