Registry · Theorem IV.T86 tau-effective formalized

IV.T86 — Rydberg prediction at 0.025 ppm

The tau-predicted Rydberg constant R_infinity^(tau) ~ 10,973,731.29 m^(-1) compared with CODATA R_infinity = 10,973,731.568157(12) m^(-1) gives relative deviation ~0.026 ppm, inheriting the 0.025 ppm precision of the electron mass prediction.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.RydbergPredictionAt0025Ppm