Registry · Theorem
IV.T137
tau-effective
formalized
IV.T137 — EW Density = 5/7
Cross-multiplied: |V_EW| × 7 = |V_complement| × 5, giving density 5/7.
Book IV
Part 4
Ch. 31
Dependency Graph
Depends on (1)
Lean Formalization
Module: TauLib.BookIV.Electroweak.EWProjection
Symbol: ew_density_is_5_over_7