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%).