Theorem PartialHomeomorph.refl_localEquiv

Modification history

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