Theorem CategoryTheory.MonoidalCategory.tensorRightTensor_inv_app

Modification history