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