Theorem VectorField.fderivWithin_apply_lieBracket

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_lieBracketView on Github →