Registry · Proposition IV.P183 tau-effective formalized

IV.P183 — Sign of p-n splitting: QCD > EM

Neutron is heavier than proton because QCD contribution (~1.41 MeV) exceeds EM contribution (~0.12 MeV); sign is correct.

Book IV Part 1 Ch. 6

Dependency Graph

Depends on (2)

IV.D267 IV.D02

Lean Formalization

Module: TauLib.BookIV.Physics.NucleonMassSplitting

Symbol: pn_sign_positive