Registry · Definition V.D81 tau-effective formalized

V.D81 — Gravitational Closing Identity --- V.D11

The gravitational closing identity is alpha_G = alpha^18 * (chi kappa_n / 2), where alpha_G = G m_n^2 / (hbar c) is the gravitational fine-structure constant, alpha is the EM fine-structure constant, kappa_n is the co-rotor coupling, and chi is the chirality factor.

Book V Part 2 Ch. 20

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.GravitationalClosingIdentityVd11