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






leanprover-community/mathlib,leanprover-community/mathlib