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

At: uncurry curry inverse

T:Type{i}, U:Type{j}, V:Type{k}, f:(TUV). f = curry uncurry f
By: RA (Analyze 0)
Generated subgoal:

11. T: Type{i}
2. U: Type{j}
3. V: Type{k}
4. f: TUV
f = curry uncurry f

About:
functionuniverseequalall

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