Registry · Proposition IV.P181 tau-effective formalized

IV.P181 — Mode Interpretation of EW Coefficients

17=n_total+n_A=15+2 (EW-augmented total), 5=n_B+n_A=3+2 (EW-active modes), 7=n_total-n_B-n_A-n_C=15-5-3. Supplementary mode interpretation of CF window sums W_3(3), W_3(4).

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (2)

IV.D334 IV.D49

Depended on by (1)

IV.R390

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: mode_interpretation_17