Einstein, Theory Of Relativity, Physics, Mathematics, Curiosity.
Interchange symmetry follows from these. The algebraic symmetries are also equivalent to saying that R belongs to the image of the Young symmetrizer corresponding to the partition 2+2. On a Riemannian manifold one has the covariant derivative and the Bianchi identity (often called the second