Registry · Theorem IV.T66 tau-effective formalized

IV.T66 — Electroweak Prediction Table

Nine electroweak quantities derived from ι_τ and m_n with zero free parameters: α_em (0.8%), sin²θ_W (2.7%), M_W (0.03%), M_Z (0.1%), M_H (0.2%), m_e (0.025 ppm), R (0.025 ppm), m_ν₃ (2.5%), G_F (0.1%).

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (9)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.ElectroweakPredictionTable