Registry · Corollary IV.C01 tau-effective formalized

IV.C01 — Right-handed decoupling

Corollary of the Chirality Selection Theorem: for any right-handed configuration psi_R in Gamma_R, all polarity-switching amplitudes vanish identically: = 0 for all epsilon; right-handed configurations are weak-interaction singlets.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

IV.D01

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.RighthandedDecoupling