Registry · Theorem IV.T119 tau-effective formalized

IV.T119 — Level 0 Range --- IV.T14

At exact iota_tau = 2/(pi+e), the Level 0 formula gives R_0 = iota_tau^{-7} - sqrt(3)*iota_tau^{-2} ~ 1838.698, with relative deviation from R_CODATA = 1838.683662 of approximately 7.7 ppm; the reduced mass parameter iota_tau^{-5} - sqrt(3) ~ 214.15 counts effective bulk modes exceeding the boundary correction.

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.MassDerivation.ElectronMass

Symbol: Tau.BookIV.MassDerivation.Level0RangeIvt14