mathlib3

0523b61d - chore(logic/function): `simp`lify applications of `(un)curry` (#4696)