Registry · Theorem V.T151 tau-effective formalized

V.T151 — N_eff from Sector Exhaustion

N_eff = 3 from sector exhaustion: three non-gravitational generators {pi, gamma, eta} yield three neutrino families. omega = gamma cap eta is composite, alpha is gravitational.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNBaryogenesis

Symbol: n_eff_eq_three