Registry · Definition IV.D342 tau-effective formalized

IV.D342 — EM Coulomb Contribution to p-n splitting

B-sector (EM) Coulomb contribution: (3/20)*alpha*iota^2, giving ~0.120 MeV. Factor 3=N_c, alpha=fine structure, iota^2=EM rank.

Book IV Part 1 Ch. 6

Lean Formalization

Module: TauLib.BookIV.Physics.NucleonMassSplitting

Symbol: emContributionRatio