Commit 2024-01-17 16:24 51151983

View on Github →

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

Estimated changes

Modified Mathlib/Geometry/Manifold/ContMDiff/Defs.lean

Modified Mathlib/Geometry/Manifold/SmoothManifoldWithCorners.lean

deleted theorem modelWithCornersSelf_localEquiv

added theorem modelWithCornersSelf_partialEquiv

Modified Mathlib/Geometry/Manifold/VectorBundle/FiberwiseLinear.lean

Modified Mathlib/Topology/PartialHomeomorph.lean

deleted theorem PartialHomeomorph.eq_of_localEquiv_eq

added theorem PartialHomeomorph.eq_of_partialEquiv_eq

deleted theorem PartialHomeomorph.refl_localEquiv

added theorem PartialHomeomorph.refl_partialEquiv