Registry · Theorem IV.T193 tau-effective formalized

IV.T193 — Bottom Mass from τ-Chain at −1351 ppm

m_b = (17/20)·ι_τ^(-20/13)·m_n = 4174.4 MeV at −1351 ppm from PDG 4180±7 MeV (0.8σ). Combined exponent −20/13 = −lobes²·W₃(4)/a₃ = −4×5/13. Standalone formula combining top prefactor with ratio exponent.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.bottom_mass