Def IsLocalDiffeomorph

Modification history

2026-04-17 14:24

Mathlib/Geometry/Manifold/LocalDiffeomorph.lean

chore(Geometry/Manifold): don't expose definitions depending on choice (#37358) …

Modified IsLocalDiffeomorph View on Github →

2023-12-22 09:27

Mathlib/Geometry/Manifold/LocalDiffeomorph.lean

feat: local diffeomorphisms (#8736) …

Added IsLocalDiffeomorph View on Github →