Registry · Definition IV.D369 tau-effective skeleton

IV.D369 — Quark Mass Winding Exponents

Power-law framework m_q = A_q·ι_τ^β_q·m_n for all 6 quarks. Winding exponents β: u(+5.65), d(+4.93), s(+2.15), c(−0.28), b(−1.39), t(−4.85). Lighter quarks have more positive exponents (more fiber windings). Framework for IV.OP5.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (10)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.quark_winding_exponents