Registry · Theorem IV.T49 tau-effective formalized

IV.T49 — Holonomy Formula for alpha_em

The holonomy formula alpha_em = (pi^3/16) * Q^4/(M^2 H^3 L^6) is exact in tau-units and matches experiment to the precision of input data.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (3)

IV.L04 IV.L02 IV.L03

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.HolonomyFormulaForAlphaem