Registry · Theorem IV.T183 tau-effective skeleton

IV.T183 — Top Quark Mass from Fiber Amplitude at +7200 ppm

m_t = (17/5)·ι_τ⁻⁵·m_n = 173,932 MeV at +7200 ppm from PDG 172,690±300 MeV. Prefactor W₃(3)/W₃(4)=17/5 same as M_W; exponent −5=−(dim(τ³)+|lobes|)=−(3+2). Top is mirror of electron: β_t+β_e≈0.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.top_mass_fiber