Registry · Proposition IV.P63 tau-effective formalized

IV.P63 — Beta-Decay Rate from Tau-Units

Neutron beta-decay rate Gamma_n ~ G_F^2 m_e^5 |V_ud|^2 f(E_0), giving tau_n ~ 880 s. In the tau-framework, every factor determined by iota_tau and calibration anchor m_n.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.BetadecayRateFromTauunits