Theorem CategoryTheory.MonoidalCategory.tensor_right_iff

Modification history