# Talk:Proofs involving covariant derivatives

Used to be 'proofs involving Christoffel symbols', even though no Christoffel symbols ${\displaystyle \Gamma ^{k}{}_{ij}}$ were explicitly used. Has been changed from this.