Vector triple product (source code)

= Vector triple product

= Vector triple product identity
{synonym}

Contracting two Levi-Civita symbols gives
$$
a\times(b\times c)=b(a\cdot c)-c(a\cdot b).
$$