Registry · Theorem IV.T123 tau-effective formalized

IV.T123 — Chirality Selection

Chirality Selection Theorem: a spinor psi on tau^3 can participate in a polarity-switching transition Phi_A if and only if gamma_5 psi = -psi (left-handed); the proof chains CR-structure, sigma-involution admissibility, and balanced polarity -- deriving what the Standard Model postulates as SU(2)_L.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.ChiralitySelection