Theorem CategoryTheory.MonoidalCategory.leftAssocTensor_map

Modification history