Def CategoryTheory.MonoidalCategory.tensorUnitLeft

Modification history