李导数
Pullback and Lie derivative.