Def CategoryTheory.MonoidalCategory.curriedAssociatorNatIso

Modification history

2024-05-15 10:47

Mathlib/CategoryTheory/Monoidal/Category.lean

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

Added CategoryTheory.MonoidalCategory.curriedAssociatorNatIso View on Github →