Registry · Definition IV.D138 tau-effective formalized

IV.D138 — EM-Nullity Condition

The ω-sector mode satisfies EM-nullity if electrically neutral: Q_em[Ω*[ω]] = 0. Required because a charged mode would couple preferentially to Sector B, violating the mediating role.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.EmnullityCondition