Theorem PartialHomeomorph.eq_of_partialEquiv_eq

Modification history

2024-08-20 08:44

Mathlib/Topology/PartialHomeomorph.lean

chore: remove >1 year deprecations (#15958) …

Deleted PartialHomeomorph.eq_of_partialEquiv_eq View on Github →

2024-01-29 17:52

Mathlib/Topology/PartialHomeomorph.lean

chore(Topology/PartialHomeomorph): rename type variables (#9632) …

Modified PartialHomeomorph.eq_of_partialEquiv_eq View on Github →

2024-01-17 16:24

Mathlib/Topology/PartialHomeomorph.lean

chore: last localEquiv -> partialEquiv renames in lemma names (#9620)

Added PartialHomeomorph.eq_of_partialEquiv_eq View on Github →