Def CategoryTheory.MonoidalCategory.leftAssocTensor

Modification history