localInverse_isLocalDiffeomorphAt — Mathlib · SciLib

∫ Утверждение Mathlib

localInverse_isLocalDiffeomorphAt

Mathlib.Geometry.Manifold.LocalDiffeomorph

URI: https://scilib.ai/kg/mathlib#IsLocalDiffeomorphAt.localInverse_isLocalDiffeomorphAt

← MathLib Explorer