Registry · Theorem V.T23 tau-effective formalized

V.T23 — sigma-equivariance of kappa_tau

The gravitational coupling kappa_tau = 1 - iota_tau is sigma-fixed: sigma*(kappa_tau) = kappa_tau. The gravitational sector is unpolarized, treating both lobes of the lemniscate symmetrically, which is the tau-native statement of gravitational universality.

Book V Part 2 Ch. 11

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.SigmaequivarianceOfKappatau