Registry · Theorem IV.T136 tau-effective formalized

IV.T136 — EW Partition Theorem

5 + 3 + 7 = 15: the EW partition exhausts all boundary modes.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

IV.D01

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWProjection

Symbol: mode_partition_EW