Registry · Theorem IV.T261 tau-effective not_formalized

IV.T261 — Electroweak Cross-Coupling

The inter-sector coupling between A (weak) and B (EM) is: equation (A,B) = _tau3

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (3)