Registry · Definition
IV.D576
tau-effective
not_formalized
IV.D576 — Weinberg Coupling Value
From Theorem thm:iv-weinberg-tau3: equation ^2_W = iota_tau(1 - iota_tau)
Book IV
Part 3
Ch. 27
From Theorem thm:iv-weinberg-tau3: equation ^2_W = iota_tau(1 - iota_tau)