Registry · Proposition IV.P57 tau-effective formalized

IV.P57 — Fermi Constant from Weak Coupling

G_F/sqrt(2) = g^2/(8M_W^2). With g ~ 0.585 and M_W ~ 80.4 GeV, gives G_F ~ 1.05e-5 GeV^-2 (tree-level, ~10% below CODATA 1.1664e-5).

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.FermiConstantFromWeakCoupling