Registry · Lemma VI.L05 tau-effective planned

VI.L05 — Neutron NoDist

Free neutron fails eventual stability (beta decay ~880s), law-stability (weak interaction), equivariance. 3/5 conditions fail. Not alive.

Book VI Part 1 Ch. 10

Dependency Graph

Depends on (2)

VI.D04 VI.D21

Depended on by (1)

VI.T07

Lean Formalization

Module: TauLib.BookVI.Sectors.FourPlusOne

Symbol: Tau.BookVI.FourPlusOne.NeutronNodist