Theorem PartialHomeomorph.eq_of_localEquiv_eq

Modification history

2024-01-17 16:24
Mathlib/Topology/PartialHomeomorph.lean
chore: last localEquiv -> partialEquiv renames in lemma names (#9620)
Deleted PartialHomeomorph.eq_of_localEquiv_eqView on Github →
2023-12-13 09:43
Mathlib/Topology/PartialHomeomorph.lean
chore: rename LocalEquiv to PartialEquiv (#8984) …
Modified PartialHomeomorph.eq_of_localEquiv_eqView on Github →
2023-12-11 20:54
Mathlib/Topology/PartialHomeomorph.lean
chore: rename LocalHomeomorph to PartialHomeomorph (#8982) …
Added PartialHomeomorph.eq_of_localEquiv_eqView on Github →