mathlib3

5080d64d - feat(topology): add a few lemmas (#11607)

feat(topology): add a few lemmas (#11607) * add `homeomorph.preimage_interior`, `homeomorph.image_interior`, reorder lemmas; * add `is_open.smul₀` and `interior_smul₀`.