Registry · Theorem V.T155 tau-effective formalized

V.T155 — Mass Hierarchy Exponent

Planck-to-nucleon mass ratio determined by alpha^{-9}; exponent 9 = 18/2 is half the holonomy exponent.

Book V Part 8 Ch. 70

Dependency Graph

Depends on (1)

I.D34

Lean Formalization

Module: TauLib.BookV.Coda.GAlphaBridge

Symbol: Tau.BookV.Coda.mass_hierarchy_exponent