Registry · Proposition
IV.P123
tau-effective
formalized
IV.P123 — Tau lepton mass exponent
The tau-to-electron mass ratio is m_tau/m_e = iota_tau^(-15/2)(1 + delta_tau) where delta_tau ~ +0.09 is an O(alpha) radiative correction; the bare topological exponent is 15/2 = 7.5, and the full-lemniscate winding mode produces the heaviest charged lepton.
Book IV
Part 6
Ch. 46