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

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

f = (x,y. (x.x/l,r. f(l,r))( < x,y > ))
By: Reduce 0
Generated subgoal:

1 f = (x,y. f(x,y))

About:
pairspreadlambdaapplyfunctionuniverseequal

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