Registry · Proposition V.P115 tau-effective formalized

V.P115 — Hierarchy as Power Law

Gravity-EM coupling ratio: alpha/alpha_G = alpha^{-17} * ... with exponent 17 = 18 - 1.

Book V Part 8 Ch. 70

Dependency Graph

Depends on (2)

I.D34 V.T154

Lean Formalization

Module: TauLib.BookV.Coda.GAlphaBridge

Symbol: Tau.BookV.Coda.hierarchy_power_law