Theorem VectorField.fderiv_apply_lieBracket_of_isSymmSndFDerivAt

Modification history

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