Covariant divergence (source code)

= Covariant divergence

The covariant divergence contracts a covariant-derivative index with a contravariant tensor index. For a mixed rank-two tensor it is $\nabla_\mu T^\mu{}_{\nu}$.