Registry · Proposition IV.P51 tau-effective formalized

IV.P51 — alpha_em versus iota_tau

alpha_em (B-sector EM coupling ~ 1/137 from U(1) holonomy) and iota_tau (cross-scale mediator ~ 0.341 from arena geometry) have different origins, roles, and magnitudes.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

IV.T63 IV.D07

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.AlphaemVersusIotatau