Registry · Definition IV.D124 tau-effective formalized

IV.D124 — Neutrino as Time-Eigenmode

A neutrino is an eigenmode of T that is fiber-decoupled: T nu = mu nu (nontrivial temporal propagation), B nu = 0 at leading order (no fiber breathing), mass only through fiber-base coupling integral.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.NeutrinoAsTimeeigenmode