Theorem LocalHomeomorph.isLocalStructomorphWithinAt_iff'

Modification history

2023-12-11 20:54

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

chore: rename LocalHomeomorph to PartialHomeomorph (#8982) …

Deleted LocalHomeomorph.isLocalStructomorphWithinAt_iff'View on Github →

2023-04-17 07:01

Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

feat: port Geometry.Manifold.LocalInvariantProperties (#3401)

Added LocalHomeomorph.isLocalStructomorphWithinAt_iff'View on Github →