Solution (source code)

= Solution

Local energy-momentum conservation is the vanishing <covariant divergence> of the <energy-momentum tensor>:
$$
\boxed{\nabla_\mu T^\mu{}_{\nu}=0}.
$$