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

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

f = (x,y. f(x,y))
By: ExtWith [`a'] [TUV;TUV]
Generated subgoal:

15. a: T
f(a) = (x,y. f(x,y))(a)

About:
lambdaapplyfunctionuniverseequal

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