Registry · Proposition IV.P65 tau-effective formalized

IV.P65 — Electroweak Coupling Summary

Electroweak prediction table: alpha^-1=136, sin^2(theta_W)=0.2249, g=0.585, M_W/M_Z=0.880, rho=1, N_nu=3 (all tau-effective). M_W=71.9, M_Z=81.7, G_F=1.05e-5 (conjectural, need v).

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (5)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.ElectroweakCouplingSummary