Registry · Definition V.D212 tau-effective planned

V.D212 — Closing Identity

The gravitational closing identity: alpha_G = alpha^18 * sqrt(3) * (1 - (3/pi)*alpha).

Book V Part 8 Ch. 69

Lean Formalization

Module: