Registry · Theorem IV.T135 tau-effective formalized

IV.T135 — Fermi Form w-Independence

The Fermi form for neutron lifetime has 6 ingredients (G_F, m_n, V_ud, g_A, f, delta_R), none of which is w=M_W/m_n. The 250 ppm w gap does not propagate to physical observables.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: fermi_form_w_independent