Def CategoryTheory.MonoidalCategory.associatorNatIso

Modification history