Theorem OpenPartialHomeomorph.coe_toPartialHomeomorph

Modification history

2026-06-17 17:44

Mathlib/Topology/OpenPartialHomeomorph/Defs.lean

feat: generalize `OpenPartialHomeomorph.Defs` file to `PartialHomeomorph` (#39084) …

Added OpenPartialHomeomorph.coe_toPartialHomeomorph View on Github →