Theorem PartialHomeomorph.isEmbedding

Modification history

2026-07-20 20:28

Mathlib/Topology/PartialHomeomorph/Basic.lean

feat: generalize `Topology/OpenPartialHomeomorph/Basic` to `PartialHomeomorph` (#41045) …

Added PartialHomeomorph.isEmbedding View on Github →