Registry · Definition IV.D319 tau-effective formalized

IV.D319 — Polarity-switching transition

A polarity-switching transition in the A-sector is a process Phi_A : chi_epsilon -> chi_{-epsilon} that maps a configuration with definite polarity to the opposite, crossing from one lobe of L to the other through the crossing point omega; this is the structural content of weak flavor change.

Book IV Part 4 Ch. 30

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality2

Symbol: Tau.BookIV.Electroweak.PolarityswitchingTransition