Registry · Remark IV.R298 tau-effective not_applicable

IV.R298 — Connection to neutron beta decay

Neutron beta decay n -> p + e^- + nu_bar_e is the shedding of an electroweak defect mode via the weak-strong cross-coupling kappa(A,C) = iota_tau^3; the neutron decays because its address has a near-resonance in the A-sector channel, while the proton's address is Diophantine-stable.

Book IV Part 3 Ch. 17

Lean Formalization

Module: