Registry · Theorem IV.T142 tau-effective formalized

IV.T142 — Proton-Neutron Mass Difference — Two-Sector

Two-sector: (3/16)*sqrt(3)*iota^5 - (3/20)*alpha*iota^2 at 33 ppm from PDG. QCD minus EM decomposition with N_c=3 quark colors.

Book IV Part 1 Ch. 6

Dependency Graph

Depends on (3)

IV.D255 IV.D02 IV.D03

Depended on by (8)

IV.D367 IV.D369 IV.P201 IV.R410 IV.R421 IV.T170 IV.T186 V.T282

Lean Formalization

Module: TauLib.BookIV.Physics.NucleonMassSplitting

Symbol: deltaMassTwoSector_range