Registry · Remark IV.R424 tau-effective not_applicable

IV.R424 — Precision Atomic Physics Assessment (Wave 34)

Summary: r_p at +440 ppm (best), g_p at +2000 ppm (needs NLO), Lamb proton-size at ~1%. All zero free parameters beyond m_n.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (3)

IV.T185 IV.T186 IV.P213

Lean Formalization

Module: TauLib.BookIV.Atoms.HyperfineStructure

Symbol: Tau.BookIV.Atoms.atomic_assessment