I'm a little confused about Lie derivatives. In fact all that definitions of pull-back and push-forward and one-parameter family of diffeomorphisms and integral curves and so on seems strongly formidable and scary to approach. My question is very simple, I was studying GR from Sean Carroll's book...