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

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

f(a) = (x,y. f(x,y))(a)
By:
ExtWith [`b'] [UV]
THEN
Reduce 0
Generated subgoals:

None

About:
lambdaapplyfunctionuniverseequal

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