Registry · Proposition IV.P190 tau-effective formalized

IV.P190 — Wolfenstein Parameters: ρ̄=1/(2π) at +974 ppm (τ-effective); A and η̄ open

CP Wolfenstein parameter ρ̄ = 1/(2π) at +974 ppm from PDG 0.159 (τ-effective bonus finding). Wolfenstein A ≈ √(1−ι_τ) = 0.812 at −17433 ppm (conjectural). CP parameter η̄ open.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.wolfenstein_rho_bar