Interior product of a differential form
= Interior product of a differential form
{title2=$\iota_X\alpha$}
{wiki=Interior_product}
The interior product contracts a differential form with a vector field in its first argument:
$$
(\iota_X\alpha)(X_2,\ldots,X_k)=\alpha(X,X_2,\ldots,X_k).
$$