Commit 2024-01-15 16:44 b1ff86db

View on Github →

feat: three tiny homeomorph lemmas (#9166)

Estimated changes

Modified Mathlib/Topology/Algebra/Group/Basic.lean

added theorem Homeomorph.coe_inv

Modified Mathlib/Topology/Homeomorph.lean

added theorem Homeomorph.image_compl

added theorem Homeomorph.map_punctured_nhds_eq