Commit 2023-10-23 12:31 e4247f29

View on Github →

feat(Logic/Function/OfArity): curry and uncurry (#7773)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/Fin/Tuple/Curry.lean

added def Function.OfArity.curry

added def Function.OfArity.curryEquiv

added theorem Function.OfArity.curry_uncurry

added def Function.OfArity.uncurry

added theorem Function.OfArity.uncurry_curry