mathlib3

4a8a5950 - feat(topology/subset_properties, homeomorph): lemmata about embeddings (#7431)

feat(topology/subset_properties, homeomorph): lemmata about embeddings (#7431) Two lemmata: (i) embedding to homeomorphism (ii) a closed embedding is proper Coauthored with @hrmacbeth