∫ Утверждение Mathlib
_aux_Mathlib_Geometry_Manifold_VectorBundle_SmoothSection___macroRules_Manifold_termCₛ^_⟮_;_,_⟯_1
Mathlib.Geometry.Manifold.VectorBundle.SmoothSection
URI: https://scilib.ai/kg/mathlib#Manifold._aux_Mathlib_Geometry_Manifold_VectorBundle_SmoothSection___macroRules_Manifold_termCₛ^_⟮_;_,_⟯_1