Registry · Definition IV.D132 tau-effective formalized

IV.D132 — Electroweak Coherence State

Configuration of A∪B sectors where neutral-boson mixing matrix is maximally off-diagonal: θ_W not yet resolved, W^3 and B indistinguishable as mass eigenstates. Corresponds to T ≫ M_W regime.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.ElectroweakCoherenceState