Registry · Proposition IV.P64 tau-effective formalized

IV.P64 — Invisible Width and N_nu

Z width decomposes as Gamma_Z = Gamma_had + 3 Gamma_l + N_nu Gamma_nu. LEP measurement: N_nu = 2.984 pm 0.008, confirming three light neutrino generations and pi_1(tau^3) three-cycle structure.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.InvisibleWidthAndNnu