∫ Утверждение Mathlib
liftPropAt_chart_symm
Mathlib.Geometry.Manifold.LocalInvariantProperties
URI: https://scilib.ai/kg/mathlib#StructureGroupoid.LocalInvariantProp.liftPropAt_chart_symm
∫ Утверждение Mathlib
Mathlib.Geometry.Manifold.LocalInvariantProperties
URI: https://scilib.ai/kg/mathlib#StructureGroupoid.LocalInvariantProp.liftPropAt_chart_symm