First Bianchi identity (source code)

= First Bianchi identity

For a torsion-free connection, $R^\mu{}_{\alpha\beta\gamma}+R^\mu{}_{\beta\gamma\alpha}+R^\mu{}_{\gamma\alpha\beta}=0$.