Registry · Lemma IV.L04 tau-effective formalized

IV.L04 — Mediator Ratio

The ratio of minimal AB holonomy to photon phase quantum gives alpha_tau = (pi^3/16) * Q^4/(M^2 H^3 L^6), the holonomy formula for the fine-structure constant.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.MediatorRatio