Theorem VectorField.fderivWithin_apply_lieBracket_of_isSymmSndFDerivWithinAt

Modification history

2025-11-05 01:04
Mathlib/Analysis/Calculus/VectorField.lean
feat: derivative along the Lie bracket of vector fields (#30490)
Added VectorField.fderivWithin_apply_lieBracket_of_isSymmSndFDerivWithinAtView on Github →