Theorem CategoryTheory.MonoidalCategory.tensorLeftTensor_inv_app

Modification history