Def CategoryTheory.MonoidalCategory.rightUnitorNatIso

Modification history