Def CategoryTheory.MonoidalCategory.curriedTensor

Modification history

2024-05-15 10:47

Mathlib/CategoryTheory/Monoidal/Category.lean

feat(CategoryTheory/Monoidal): the curried associator isomorphism (#11701) …

Added CategoryTheory.MonoidalCategory.curriedTensor View on Github →