∫ Утверждение Mathlib
contMDiffWithinAt_transContinuousLinearEquiv_left
Mathlib.Geometry.Manifold.Diffeomorph
URI: https://scilib.ai/kg/mathlib#ContinuousLinearEquiv.contMDiffWithinAt_transContinuousLinearEquiv_left
∫ Утверждение Mathlib
Mathlib.Geometry.Manifold.Diffeomorph
URI: https://scilib.ai/kg/mathlib#ContinuousLinearEquiv.contMDiffWithinAt_transContinuousLinearEquiv_left