theorem Th75: :: CLASSES1:75

for F, G being Function st F,G are_fiberwise_equipotent holds
rng F = rng G