Registry · Definition IV.D131 tau-effective formalized

IV.D131 — Mixing Compatibility

Two primitive sectors are mixing-compatible iff they satisfy: (M1) shared geometric substrate, (M2) overlapping polarity channels covering both χ_+ and χ_−, (M3) complementary gauge structure (one abelian, one non-abelian).

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.MixingCompatibility