Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
U:
{j}.
V:
{k}.
f:(T
U)
V. curry f
T
U
V
Applied Tactic:
Unfold `curry` 0 THEN Auto
Generated subgoals:
None
T:
. U:{j}. V:{k}. f:(T 
U) 
V. curry f 
T U V