Theorem OpenPartialHomeomorph.coe_coe

Modification history

2026-05-28 11:18
Mathlib/Topology/OpenPartialHomeomorph/Defs.lean
chore: rename some OpenPartialHomeomorph declarations (#39565) …
Deleted OpenPartialHomeomorph.coe_coeView on Github →
2025-12-09 05:22
Mathlib/Topology/OpenPartialHomeomorph.lean
refactor(Topology/OpenPartialHomeomorph): split long file (#32601)
Modified OpenPartialHomeomorph.coe_coeView on Github →
2025-10-02 09:10
Mathlib/Topology/OpenPartialHomeomorph.lean
chore: rename PartialHomeomorph to OpenPartialHomeomorph (#29113) …
Added OpenPartialHomeomorph.coe_coeView on Github →