Interior product (source code)

= Interior product
{title2=$\iota_X\alpha$}
{wiki}

= Interior product of a differential form
{synonym}

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).
$$