Registry · Theorem IV.T67 tau-effective formalized

IV.T67 — Zero Free Parameters in Electroweak Sector

Every entry in the electroweak prediction table derives from: (1) ι_τ = 2/(π+e) from axioms K₀–K₆, (2) calibration anchor m_n (dimensional, no dimensionless freedom). No fitted, adjusted, or measured dimensionless parameter enters the derivation.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.ZeroFreeParametersInElectroweakSector