:: deftheorem defines curry' FUNCT_5:def 3 :
for f being Function holds curry' f = curry (~ f);