So you can define

So in the vielbein basis,

Where the last equality is the first cartan structure equation.

Proof:

so

and

The second cartan structure equation is:

source psfile jl@crush.caltech.edu index self-dual_manifold bianchi