(5steps) PrintForm Definitions lambda jlc Sections Support(jlc) Doc

At: uncurry curry inverse 1
1. T: Type{i}
2. U: Type{j}
3. V: Type{k}
4. f: TUV

f = curry uncurry f
By: Unfolds [`curry`;`uncurry`] 0
Generated subgoal:

1 f = (x,y. (x.x/l,r. f(l,r))( < x,y > ))

About:
pairspreadlambdaapplyfunctionuniverseequal

(5steps) PrintForm Definitions lambda jlc Sections Support(jlc) Doc