Registry · Definition IV.D108 tau-effective formalized

IV.D108 — Polarity-Preserving Interaction

An interaction that commutes with bipolar projections P_pm, mapping chi_+ to chi_+ and chi_- to chi_-.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

IV.D107

Depended on by (1)

IV.P40

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.PolaritypreservingInteraction