Theorem Function.ofArity_succ

Modification history

2024-02-14 01:35
Mathlib/Logic/Function/OfArity.lean
feat(Logic/Function/FromTypes): Add curried heterogeneous function types (#10394) …
Modified Function.ofArity_succView on Github →
2023-10-23 14:19
Mathlib/Logic/Function/OfArity.lean
feat(Logic/Function/OfArity): generalize the return type (#7859)
Modified Function.ofArity_succView on Github →
2023-10-19 20:25
Mathlib/Logic/Function/OfArity.lean
chore(Logic/Function/OfArity): rename `Arity` to `Function.OfArity` (#7772) …
Added Function.ofArity_succView on Github →