[isabelle] Equivalent of Haskell’s `flip` function


Is there a function in the Isabelle standard library that swaps the
arguments of a binary function, that is, a function `flip` that is
essentially defined as `flip f y x ≡ f x y`?

All the best,

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.