Theorem VectorField.leibniz_identity_mlieBracketWithin_apply

Modification history

2025-03-06 18:43
Mathlib/Geometry/Manifold/VectorField.lean
feat: invariance under diffeomorphisms of the Lie bracket of vector fields on manifolds, and Jacobi identity (#22446)
Added VectorField.leibniz_identity_mlieBracketWithin_applyView on Github →