termCₛ^_⟮_;_,_⟯ — Mathlib · SciLib

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

termCₛ^_⟮_;_,_⟯

Mathlib.Geometry.Manifold.VectorBundle.SmoothSection

URI: https://scilib.ai/kg/mathlib#Manifold.termCₛ^_⟮_;_,_⟯

← MathLib Explorer