mpullbackWithin_zero — Mathlib · SciLib

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

mpullbackWithin_zero

Mathlib.Geometry.Manifold.VectorField.Pullback

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

← MathLib Explorer