Registry · Definition IV.D382 tau-effective formalized

IV.D382 — Updated Six-Quark Table (Wave 45)

Consolidated six-quark table (Waves 37-45): t(-5,input), b(-45/13,-1351), c(105/23,+1150), s(53/15,+1559), d(64/23,-365), u(11/2,+395). All 7/7 derived. Sub-1600 ppm across 4 orders of magnitude.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.six_quark_table_wave45