Registry · Corollary
V.C03
tau-effective
formalized
V.C03 — tau-Bianchi identity --- V.R01
The tau-Einstein identity implies the tau-Bianchi identity: nabla . R^H = kappa_tau nabla . T^mat, and since boundary characters have vanishing divergence (nabla . R^H = 0), energy-momentum conservation nabla . T^mat = 0 follows as a corollary.
Book V
Part 2
Ch. 13