李导数
The "same" identity holds for the Lie derivative formula_4. In fact, one has: