Def PartialHomeomorph.extend

Modification history

2023-12-13 09:43

Mathlib/Geometry/Manifold/SmoothManifoldWithCorners.lean

chore: rename LocalEquiv to PartialEquiv (#8984) …

Modified PartialHomeomorph.extend View on Github →

2023-12-11 20:54

Mathlib/Geometry/Manifold/SmoothManifoldWithCorners.lean

chore: rename LocalHomeomorph to PartialHomeomorph (#8982) …

Added PartialHomeomorph.extend View on Github →