Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.curry

Modification history

2021-05-10 07:36

src/data/equiv/basic.lean

feat(data/equiv/basic): equiv.curry (#7458) …

Added equiv.curry View on Github →