theorem Th11: :: MFOLD_2:11

for n being Nat
for M, N being non empty TopSpace st M is n -locally_euclidean & M,N are_homeomorphic holds
N is n -locally_euclidean