Registry · Lemma IV.L05 tau-effective formalized

IV.L05 — Sigma_A-Admissibility Selects Chirality

A spinor configuration psi is sigma_A-admissible iff psi in Gamma_L (left-handed). Right-handed configurations have sigma*(psi_R) = -psi_R, destroying phase matching at omega.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.SigmaaadmissibilitySelectsChirality