Def CategoryTheory.MonoidalCategory.tensorLeft
Modification history
2025-06-03 16:26
Mathlib/CategoryTheory/Monoidal/Category.lean
chore(CategoryTheory/Monoidal): define tensorLeft/Right as abbrev for curriedTensor (#24735) …
Deleted CategoryTheory.MonoidalCategory.tensorLeftView on Github →