mpullback_eq_pullback — Mathlib · SciLib

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

mpullback_eq_pullback

Mathlib.Geometry.Manifold.VectorField.Pullback

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

← MathLib Explorer