Def IsLocalDiffeomorphOn

Modification history

2026-04-17 14:24

Mathlib/Geometry/Manifold/LocalDiffeomorph.lean

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

Modified IsLocalDiffeomorphOn View on Github →

2023-12-22 09:27

Mathlib/Geometry/Manifold/LocalDiffeomorph.lean

feat: local diffeomorphisms (#8736) …

Added IsLocalDiffeomorphOn View on Github →