Theorem Function.FromTypes.uncurry_two_eq_uncurry

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.uncurry_two_eq_uncurryView on Github →