Registry · Remark IV.R419 tau-effective not_applicable

IV.R419 — Jarlskog Invariant from Wolfenstein at −8750 ppm

J = A²λ⁶η̄ = 3.05×10⁻⁵ at −8750 ppm from PDG 3.08×10⁻⁵. Limited by η̄; improving η̄ to sub-1000 ppm would give sub-percent J.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.jarlskog_from_wolfenstein