Registry · Theorem IV.T51 tau-effective formalized

IV.T51 — Parity Violation in the A-Sector

The weak interaction maximally violates parity: for psi_L with nonzero amplitude A, the parity-reflected amplitude A(P(psi_L)) = 0. Ratio A(P(psi))/A(psi) = 0 for all psi in Gamma_L.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.ParityViolationInTheAsector