Registry · Theorem IV.T169 tau-effective formalized

IV.T169 — m_μ/m_e NNLO: k=23/3 Correction at +43 ppm (τ-effective)

m_μ/m_e = ι_τ^(-124/25)·(1-ι_τ^(23/3)) = 206.777 at +43 ppm from PDG 206.768 (τ-effective). 23=W₃(4)+W₃(3)+1=5+17+1. Best k=45/6=7.5 at -8.2 ppm connects to baryogenesis: 7.5=15/2=(3×W₃(4))/2. Improvement from +307 ppm (LO) to +43 ppm (NNLO with k=23/3).

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.k23_window_sum