mathlib

445e883e - feat(function): has_uncurry (#3694)

feat(function): has_uncurry (#3694) By Gabriel Ebner, from the sphere eversion project. See discussion at https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/recursive.20uncurry Co-authored-by: Gabriel Ebner <gebner@gebner.org>