Def Function.OfArity.curryEquiv

Modification history

2024-02-14 01:35
Mathlib/Data/Fin/Tuple/Curry.lean
feat(Logic/Function/FromTypes): Add curried heterogeneous function types (#10394) …
Modified Function.OfArity.curryEquivView on Github →
2023-10-23 14:19
Mathlib/Data/Fin/Tuple/Curry.lean
feat(Logic/Function/OfArity): generalize the return type (#7859)
Modified Function.OfArity.curryEquivView on Github →
2023-10-23 12:31
Mathlib/Data/Fin/Tuple/Curry.lean
feat(Logic/Function/OfArity): curry and uncurry (#7773)
Added Function.OfArity.curryEquivView on Github →