Lie derivative along time-dependent vector fields

derivatives definition differential-forms

Your corrections are correct. The definition you quoted gives you $\mathcal L_{v_t}|_{t=0}$. Since $\mathbb R$ acts on everything by $t \mapsto t+s$, this definition lets you extract the value of $\mathcal L_{v_s}$ for any other $s$.

Related

Linear Dependence Lemma
To show that $P(|X-Y| \leq 2) \leq 3P(|X-Y| \leq 1)$ [duplicate]
Trying to understand open (closed) subfunctors
Is $AA^T$ positive semidefinite?
$x \otimes y - y \otimes x \neq 0$ in $I \otimes_{R} I$
Information captured by differential forms
Novel approaches to elementary number theory and abstract algebra
The tangent space to the intersection is the intersection of the tangent spaces.
Differences between infinite-dimensional and finite-dimensional vector spaces
How to prove Bonferroni inequalities?
how to prove, $f$ is onto if $f$ is continuous and satisfying $|f(x) - f(y)| ≥ |x - y|$ for all $x,y$ in $\mathbb{R}$
Prove that $\sin n\theta=n\sin \theta-\frac{n(n^2-1)}{3!}\sin^3\theta+\frac{n(n^2-1)(n^2-3^2)}{5!}\sin^5\theta+\cdots$