Divergence of a cross product (source code)

= Divergence of a cross product

For differentiable vector fields $A$ and $B$,
$$
\nabla\cdot(A\times B)=B\cdot(\nabla\times A)-A\cdot(\nabla\times B).
$$