Bianchi identity (source code)

= Bianchi identity
{c}
{wiki}

The curvature of a connection satisfies $d_AF(A)=0$. In a local frame this follows directly by expanding $d(dA+A\wedge A)+A\wedge F-F\wedge A$.