Commit 2026-11-10 12:28 7f0f45a6

chore(Analysis/Calculus/VectorField): fix order of V and W in fderiv_apply_lieBracket lemmas (#45860) The docstrings of four lemmas described the "derivative along [W, V] as the commutator of the derivatives along W and V". In fact, the lemmas were about the commutator [V, W]. This have been due to the order of hypotheses (first hW, then hV) - which is inconsistent with the order of arguments (first V, then W): re-order the hypotheses to put hV first. Breaking change: re-order the first two arguments passed to fderiv_apply_lieBracket and friends.