Registry · Proposition IV.P188 tau-effective formalized

IV.P188 — m_H/m_W Ratio [auto-upgrades with IV.P199]

m_H/m_W ratio at +379 ppm. Auto-upgrades when Higgs derivation (IV.P199, n=7 coefficient) closes. Currently uses n=5 formula (IV.T151); n=7 formula (IV.T166) would give better precision. Depends on VEV derivation path.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_w_ratio_comparison