Def Function.FromTypes.curryEquiv

Modification history

2024-02-14 01:35

Mathlib/Data/Fin/Tuple/Curry.lean

feat(Logic/Function/FromTypes): Add curried heterogeneous function types (#10394) …

Added Function.FromTypes.curryEquiv View on Github →