Registry · Definition V.D218 tau-effective planned

V.D218 — Gravitational Coupling --- Layer 1

alpha_G = alpha^18 * sqrt(3) * (1 - (3/pi)*alpha) ~ 5.924e-39; deviation ~0.3%.

Book V Part 8 Ch. 71

Lean Formalization

Module: