Curvature is antisymmetric in first two variables
Statement
The Riemann curvature tensor is an alternating tensor, or an antisymmetric tensor, in the first two variables. In other words:
Proof
The proof is based on the fact that
Fill this in later