Theorem CategoryTheory.MonoidalCategory.tensor_left_iff

Modification history