# Curvature is antisymmetric in first two variables

From Diffgeom

## Statement

The Riemann curvature tensor is an alternating tensor, or an antisymmetric tensor, in the first two variables. In other words:

## Related facts

## Proof

The proof is based on the fact that

We have:

.