Registry · Definition V.D46 tau-effective formalized

V.D46 — Gravitational coupling kappa_tau

The gravitational coupling kappa_tau = kappa(D;1) = 1 - iota_tau approximately equals 0.658696. This is the unique depth-1 coupling in the D-sector and serves as the coefficient in the tau-Einstein equation.

Book V Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.GravitationalCouplingKappatau