theorem Th36: :: FUNCT_5:43

( uncurry {} = {} & uncurry' {} = {} )