∫ Утверждение Mathlib
contmdiffOn_localInverse
Mathlib.Geometry.Manifold.LocalDiffeomorph
URI: https://scilib.ai/kg/mathlib#IsLocalDiffeomorphAt.contmdiffOn_localInverse
∫ Утверждение Mathlib
Mathlib.Geometry.Manifold.LocalDiffeomorph
URI: https://scilib.ai/kg/mathlib#IsLocalDiffeomorphAt.contmdiffOn_localInverse