Theorem Filter.EventuallyEq.lieBracketWithin_vectorField_eq_nhds

Modification history