theorem Th3: :: MFOLD_2:3

for S, T being TopStruct
for f being Function of S,T st f is being_homeomorphism holds
f " is being_homeomorphism