theorem :: TOPDIM_1:24

for T1, T2 being TopSpace st T1,T2 are_homeomorphic holds
( T1 is finite-ind iff T2 is finite-ind ) by Lm9;