Theorem CategoryTheory.MonoidalCategory.tensorRightTensor_hom_app

Modification history