Def CategoryTheory.MonoidalCategory.Pentagon

Modification history