Mathlib v3 is deprecated. Go to Mathlib v4

Theorem homeomorph.preimage_interior

Modification history

2022-01-22 20:00
src/topology/homeomorph.lean
feat(topology): add a few lemmas (#11607) …
Added homeomorph.preimage_interiorView on Github →