Registry · Theorem IV.T141 conjectural formalized

IV.T141 — Proton-Neutron Mass Difference — Tree Level [SUPERSEDED]

SUPERSEDED by IV.T142 (two-sector formula at +33 ppm). Tree-level: (m_n-m_p)/m_n = (sqrt(3)/2)*iota^6 at -5516 ppm. Retained for historical reference; IV.T142 is the canonical p-n mass formula.

Book IV Part 1 Ch. 6

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Physics.NucleonMassSplitting

Symbol: deltaMassTree_range