Theorem Topology.IsEmbedding.toPartialHomeomorph_left_inv

Modification history

2026-07-20 20:28
Mathlib/Topology/PartialHomeomorph/Basic.lean
feat: generalize `Topology/OpenPartialHomeomorph/Basic` to `PartialHomeomorph` (#41045) …
Added Topology.IsEmbedding.toPartialHomeomorph_left_invView on Github →