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

modelWithCornersSelf_coe_symm

Mathlib.Geometry.Manifold.IsManifold.Basic

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

← MathLib Explorer