mpullback_add_apply — Mathlib · SciLib

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

mpullback_add_apply

Mathlib.Geometry.Manifold.VectorField.Pullback

URI: https://scilib.ai/kg/mathlib#VectorField.mpullback_add_apply

← MathLib Explorer