theorem Th46: :: FUNCT_4:46

for X, Y being set
for f being Function st dom f = [:X,Y:] holds
dom (~ f) = [:Y,X:]