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

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

f(x) = (x.x/l,r. f( < l,r > ))(x)
By:
Analyze 5
THEN
Reduce 0
Generated subgoals:

None

About:
pairspreadproductlambdaapplyfunctionuniverseequal

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