Registry · Definition IV.D383 tau-effective formalized

IV.D383 — Neutron Lifetime Input Table (Wave 46)

Complete input table for neutron lifetime precision prediction: g_A at +5.5 ppm (IV.T182), |V_ud| at +16 ppm (IV.T152), Δ_r at +9.5 ppm, f (phase space, <1 ppm), K=4908.7 s (PDG prefactor). All ι_τ-derived except K.

Book IV Part 8 Ch. 71

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.neutron_lifetime_inputs