Def CategoryTheory.MonoidalCategory.tensorUnitRight

Modification history