theorem Th35: :: FUNCT_5:42

( curry {} = {} & curry' {} = {} ) by Def1, Th1;