Registry · Proposition IV.P114 tau-effective formalized

IV.P114 — Generation mass ordering

Generation mass ordering: breathing eigenvalues satisfy lambda_crossing < lambda_single-lobe < lambda_full-L, yielding the mass hierarchies m_u < m_c < m_t and m_d < m_s < m_b. Scope: conjectural (quantitative spectrum deferred to Part VII).

Book IV Part 5 Ch. 43

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.GenerationMassOrdering