Registry · Definition IV.D133 tau-effective formalized

IV.D133 — Coherence Fixing (Ch33)

Process by which crossing-point element ω resolves the A∪B coherence state into distinct mass eigenstates: mixing matrix diagonalizes, W±/Z^0 acquire mass, photon remains massless.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

IV.D132 IV.D08

Depended on by (4)

IV.D125 IV.D134 IV.T58 IV.T59

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.CoherenceFixingCh33