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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.TauLeptonMassExponent