∫ Утверждение Mathlib
_aux_Mathlib_Geometry_Manifold_DerivationBundle___macroRules_Manifold_term𝒅_1
Mathlib.Geometry.Manifold.DerivationBundle
URI: https://scilib.ai/kg/mathlib#Manifold._aux_Mathlib_Geometry_Manifold_DerivationBundle___macroRules_Manifold_term𝒅_1