 Metric compatibility

Metric compatibility is ${\nabla }_{\alpha }{g}_{\mu \nu }=0$, allowing the metric to pass through covariant derivatives and index operations.