Registry · Proposition IV.P71 tau-effective formalized

IV.P71 — Parity Bridge and Mixing

Balanced polarity of Sector A plays dual role: forces maximal parity violation in charged-current weak interactions AND enables electroweak mixing with Sector B by satisfying condition (M2).

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.ParityBridgeAndMixing