Registry · Definition IV.D114 tau-effective formalized

IV.D114 — Parity Operator

Spatial inversion P: (x,t) -> (-x,t) interchanging Gamma_L and Gamma_R. A process is parity-invariant if its amplitude is unchanged under P.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

IV.D112

Depended on by (5)

IV.P45 IV.P46 IV.T43 IV.T45 IV.T51

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.ParityOperator