Registry · Theorem
IV.T283
tau-effective
not_formalized
IV.T283 — Generation Mass Scaling
The mass ratio between successive generations scales as a power of iota_tau^-2: equation m_genn+1m_genn
Book IV
Part 5
Ch. 35