Theorem CategoryTheory.MonoidalCategory.rightAssocTensor_map

Modification history