Registry · Definition IV.D48 tau-effective formalized

IV.D48 — Level 1+ Formula

R₁ = ι_τ^(-7) − (√3+π³α²)·ι_τ^(-2). Level 1+ formula with holonomy correction. At exact ι_τ: 0.025 ppm accuracy. Structure records exponents and accuracy.

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (2)

IV.D47 IV.D45

Depended on by (2)

IV.D112 IV.T15

Lean Formalization

Module: TauLib.BookIV.Calibration.MassRatioFormula

Symbol: Tau.BookIV.Calibration.Level1PlusFormula