Def CategoryTheory.MonoidalCategory.tensorLeftTensor

Modification history