Theorem modelWithCornersSelf_partialEquiv

Modification history

2024-01-17 16:24

Mathlib/Geometry/Manifold/SmoothManifoldWithCorners.lean

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

Added modelWithCornersSelf_partialEquiv View on Github →