Theorem PartialHomeomorph.coe_toPartialEquiv_symm

Modification history

2026-06-17 17:44
Mathlib/Topology/PartialHomeomorph/Defs.lean
feat: generalize `OpenPartialHomeomorph.Defs` file to `PartialHomeomorph` (#39084) …
Added PartialHomeomorph.coe_toPartialEquiv_symmView on Github →