Schur's lemma (Riemannian geometry) (source code)

= Schur's lemma (Riemannian geometry)
{wiki=Schur's_lemma_(Riemannian_geometry)}