Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.EventuallyEq.lieBracketWithin_vectorField_eq_nhds
Modification history
2024-11-20 14:53
Mathlib/Analysis/Calculus/VectorField.lean
feat: the Lie bracket of vector fields in vector spaces (#18852)
Added
Filter.EventuallyEq.lieBracketWithin_vectorField_eq_nhds
View on Github →