Registry · Definition IV.D112 tau-effective formalized

IV.D112 — Chirality

Eigenvalue of chirality operator gamma_5 = J circ sigma_V on spinor configurations: +1 for right-handed (Gamma_R), -1 for left-handed (Gamma_L).

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

IV.D47 IV.D48

Depended on by (3)

IV.D113 IV.D114 IV.L05

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.Chirality