Theorem CategoryTheory.MonoidalCategory.rightAssocTensor_obj

Modification history