(8steps)
PrintForm
lambda
jlc
Sections
Support(jlc)
Doc
At:
curry
uncurry
inverse
1
1
3
1.
T:
Type{i}
2.
U:
Type{j}
3.
V:
Type{k}
4.
f:
T
U
V
f = f
By:
ExtWith [`b'] [T
U
V]
Generated subgoal:
1
5.
b:
T
U
f(b) = f(b)
About:
(8steps)
PrintForm
lambda
jlc
Sections
Support(jlc)
Doc
U
V
f = f
UV]
U f(b) = f(b)
