mathlib3

7f928329 - feat(category_theory/currying): `flip` is isomorphic to uncurrying, swapping, and currying. (#11151)