Theorem Homeomorph.map_punctured_nhds_eq

Modification history

2024-01-15 16:44
Mathlib/Topology/Homeomorph.lean
feat: three tiny homeomorph lemmas (#9166)
Added Homeomorph.map_punctured_nhds_eqView on Github →