Def CategoryTheory.MonoidalClosed.curry

Modification history

2023-03-21 13:00

Mathlib/CategoryTheory/Closed/Monoidal.lean

feat: port CategoryTheory.Closed.Monoidal (#3002)

Added CategoryTheory.MonoidalClosed.curry View on Github →