Registry · Theorem V.T154 tau-effective formalized

V.T154 — The G-alpha Bridge

Bridge identity: alpha_G = alpha^18 * sqrt(3) * (1 - (3/pi)*alpha), with geometric origin of each factor.

Book V Part 8 Ch. 70

Dependency Graph

Depends on (6)

I.D34 V.D205 V.D51 V.T21 V.T51 V.T52

Depended on by (2)

V.P115 V.T162

Lean Formalization

Module: TauLib.BookV.Coda.GAlphaBridge

Symbol: Tau.BookV.Coda.g_alpha_bridge_thm