instIsManifoldModelSpace — Mathlib · SciLib

∫ Утверждение Mathlib

instIsManifoldModelSpace

Mathlib.Geometry.Manifold.IsManifold.Basic

URI: https://scilib.ai/kg/mathlib#instIsManifoldModelSpace

← MathLib Explorer