Registry · Theorem IV.T181 tau-effective skeleton

IV.T181 — CKM Matrix Elements from Wolfenstein Parameters

Full CKM matrix from Wolfenstein: |V_ud|=0.97473 (+1026 ppm), |V_us|=0.22482 (+1406 ppm), |V_ub|=0.00358 (−6.2%), |V_cb|=0.04171 (+3.0%). First-row at per-mille; third-generation at percent level (limited by η̄ at −2285 ppm and A at −887 ppm). Zero free parameters.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.ckm_from_wolfenstein