Registry · Theorem IV.T59 tau-effective formalized

IV.T59 — Neutrino Interaction Channels

Neutrinos interact only via the weak force (A-sector): no EM (B-sector is fiber force, no T^2 defect bundle), no strong (C-sector is fiber force), weak only (A-sector operates through tau^1-T^2 mixing at crossing omega).

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.NeutrinoInteractionChannels