Theorem VectorField.pullbackWithin_lieBracketWithin_of_isSymmSndFDerivWithinAt_of_eventuallyEq

Modification history

2024-11-28 15:29
Mathlib/Analysis/Calculus/VectorField.lean
feat: the pullback of a vector field in a vector space (#19357) …
Added VectorField.pullbackWithin_lieBracketWithin_of_isSymmSndFDerivWithinAt_of_eventuallyEqView on Github →