Registry · Definition
IV.D336
tau-effective
formalized
IV.D336 — EW 3-Way Partition
3-way partition of 15 boundary modes: V_EW (5) + V_strong (3) + V_complement (7).
Lean Formalization
Module: TauLib.BookIV.Electroweak.EWProjection
Symbol: ewActiveModes