theorem :: MFOLD_0:10

for M1, M2 being non empty TopSpace st M1 is locally_euclidean & M1,M2 are_homeomorphic holds
M2 is locally_euclidean