Is there a name of, theory for, and/or reference for the derivation of, the following form of the Einstein-Hilbert action in terms of a tetrad eμa:
S=∫dDxeR(eμa,ωμab(e))=∫dDxe(Tca,aTcb,b−12Tab,cTac,b−14Tab,cCab,c),
where
Tμνa=∂μeνa−∂νeμa
and the spin connection is
ωμbc=12(eρb∂μeρc−eρc∂μeρb)−12(eρb∂ρeμc−eρc∂ρeμb)−12(eλbeρc∂λeρa−eλceρb∂λeρa)eμa?
Thank you.