Registry · Theorem IV.T53 tau-effective formalized

IV.T53 — Weak Coupling from Sector Parameters

Weak fine-structure constant alpha_wk* = iota_tau/(4pi) ~ 0.0272, with g = sqrt(iota_tau) ~ 0.585. Identification g^2 = iota_tau from A-sector coupling kappa(A;1) = iota_tau.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.D127 IV.T02

Depended on by (5)

IV.D121 IV.P57 IV.P58 IV.P65 IV.T54

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WeakCouplingFromSectorParameters