Registry · Remark V.R65 tau-effective formalized

V.R65 — The GR coupling kappa_tau --- V.D05

The coupling kappa_tau = 1-iota_tau is the unique unpolarized coupling in the D-sector. Uniqueness follows from field cancellation: any two couplings satisfying the tau-Einstein identity must agree at any base point where T^mat is nonzero.

Book V Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.TheGrCouplingKappatauVd05