Theorem VectorField.mpullbackWithin_mlieBracketWithin'

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.mpullbackWithin_mlieBracketWithin'View on Github →