if no torsion, is one of the bianchi identities.

if no torsion.

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