Registry · Definition IV.D47 tau-effective formalized

IV.D47 — Level 0 Formula

R₀ = ι_τ^(-7) − √3·ι_τ^(-2). Level 0 mass ratio formula. Correction √3·ι_τ^(-2) ∈ (14, 16). At exact ι_τ: 7.7 ppm accuracy. At 6-digit approx: R₀ ∈ (1831, 1836).

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Calibration.MassRatioFormula

Symbol: Tau.BookIV.Calibration.correction0_numer