proposition 101.75 Ratios of $Z$ partial widths

open in the book · parts/11-qft-standard-model/03-weak-interactions.tex:3660 · p. 1982

Rests on

depends_on equation 101.48 eq:weak-decay-master ¶
depends_on equation 101.74 eq:weak-z-coupling ¶
depends_on lemma 101.47 The two-neutrino phase space ¶
- depends_on equation 100.39 eq:qed-phase-space ¶
- depends_on proposition 100.24 Cross-section master formula ¶
  - depends_on lemma 100.22 Spin sums ¶
    - depends_on proposition 100.14 The Feynman rules of QED in SI form ¶
      - depends_on equation 100.2 eq:qed-action ¶
      - depends_on proposition 100.8 The photon propagator ¶
      - depends_on theorem 100.5 The gauge principle ¶
      - proves proof ch:02-qed-renormalization@proof-7 ¶
    - proves proof ch:02-qed-renormalization@proof-11 ¶
  - depends_on proposition 100.14 The Feynman rules of QED in SI form ¶ ↺
  - proves proof ch:02-qed-renormalization@proof-13 ¶
- proves proof ch:03-weak-interactions@proof-32 ¶
proves proof ch:03-weak-interactions@proof-52 ¶

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	eq:weak-decay-master	declared	parts/11-qft-standard-model/03-weak-interactions.tex:3680
`depends_on`	→	eq:weak-z-coupling	declared	parts/11-qft-standard-model/03-weak-interactions.tex:3680
`depends_on`	→	The two-neutrino phase space	declared	parts/11-qft-standard-model/03-weak-interactions.tex:3680
`proves`	←	ch:03-weak-interactions@proof-52	declared	parts/11-qft-standard-model/03-weak-interactions.tex:3683