Registry · Proposition IV.P70 tau-effective formalized

IV.P70 — No Grand Unification

No subgroup G ⊃ G_EW unifies three or more sectors. No SU(5)-type (B∪C polarity fails) or SO(10)-type (D substrate fails) grand unification exists in Category τ.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.NoGrandUnification