Registry · Definition IV.D125 tau-effective formalized

IV.D125 — Neutrino Flavor Eigenstates

Three flavor eigenstates: nu_e = fundamental eigenmode of T_pi (A-sector), nu_mu = of T_gamma (B-sector), nu_tau = of T_eta (C-sector). Each carries parent sector quantum numbers.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.NeutrinoFlavorEigenstates