theorem Th25: :: FUNCT_7:26

for f, g being Function
for A being set st f,g equal_outside A holds
g,f equal_outside A ;