∫ Утверждение 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

← MathLib Explorer