Metric compatibility (source code)

= Metric compatibility
{title2=$\nabla g=0$}

A <metric connection> satisfies <metric compatibility>, $\nabla_\alpha g_{\mu\nu}=0$. This allows the <metric tensor> to commute with <covariant derivatives> and index raising or lowering.