Registry · Remark V.R218 tau-effective formalized

V.R218 — The mass hierarchy at L_N

At the neutron threshold L_N, the mass hierarchy m_n > m_p > m_e is established with m_p = m_n - delta_A and m_e = m_n/R, where delta_A/m_n ~ (sqrt(3)/2)*iota_tau^6 and R = iota_tau^{-7} - (sqrt(3) + pi^3*alpha^2)*iota_tau^{-2}. All three masses follow from m_n and iota_tau alone.

Book V Part 6 Ch. 48

Lean Formalization

Module: TauLib.BookV.Cosmology.ThresholdLadder

Symbol: Tau.BookV.Cosmology.TheMassHierarchyAtLn