Theorem CategoryTheory.MonoidalCategory.leftAssocTensor_obj

Modification history