Registry · Proposition IV.P182 tau-effective formalized

IV.P182 — Complement Characterization

The 7 complement modes are exactly α×3 (gravity) + π×crossing (Z⁰) + ω×3 (Higgs).

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (3)

IV.D04 IV.D05 IV.D253

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWProjection

Symbol: ew_complement_characterization