Registry · Theorem IV.T206 conjectural formalized

IV.T206 — θ₂₃ NNLO from Holonomy-at-Window-Squared

sin(θ₂₃) = (1−ι_τ⁵)/(1+ι_τ)·(1−ι_τ²/W₃(4)²) = (1−ι_τ⁵)/(1+ι_τ)·(1−ι_τ²/25). sin²θ₂₃ = 0.5457 at −494 ppm from PDG 0.546. 94% improvement from NLO +8604. Universal NNLO pattern: W₃(4)²=25 shared with m_μ/m_e.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.Theta23NNLO