theorem Th43: :: FUNCT_4:43

for f being Function
for x, y being object st [y,x] in dom (~ f) holds
(~ f) . (y,x) = f . (x,y)