Registry · Definition V.D217 tau-effective planned

V.D217 — Mass Ratio Formula --- Layer 1

R = m_n/m_e = iota_tau^{-7} - (sqrt(3) + pi^3*alpha^2)*iota_tau^{-2} ~ 1838.684; deviation 0.025 ppm.

Book V Part 8 Ch. 71

Lean Formalization

Module: