theorem Th61: :: FUNCT_5:68

for C, D, E being non empty set
for f being Function of [:C,D:],E holds curry' f is Function of D,(Funcs (C,E))