Def CategoryTheory.MonoidalCategory.leftUnitorNatIso

Modification history