Theorem CategoryTheory.MonoidalCategory.tensorLeftTensor_hom_app

Modification history