trivializationAt_source — Mathlib · SciLib

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

trivializationAt_source

Mathlib.Geometry.Manifold.VectorBundle.Tangent

URI: https://scilib.ai/kg/mathlib#TangentBundle.trivializationAt_source

← MathLib Explorer