User:Djspiewak

From Wikipedia, the free encyclopedia

f \colon (X \times Y) \to Z

\mbox{curry}(f) \colon X \to (Y \to Z)