lemma 101.46 The spin-summed square
open in the book ·
parts/11-qft-standard-model/03-weak-interactions.tex:2228
· p. 1966
Rests on
- depends_on equation 100.33 eq:qed-spin-sums ¶
-
depends_on
lemma 100.23
Trace theorems
¶
- depends_on equation 100.5 eq:qed-free-dirac ¶
- proves proof ch:02-qed-renormalization@proof-12 ¶
- proves proof ch:03-weak-interactions@proof-31 ¶
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:qed-spin-sums | declared | parts/11-qft-standard-model/03-weak-interactions.tex:2238 |
depends_on |
→ | Trace theorems | declared | parts/11-qft-standard-model/03-weak-interactions.tex:2238 |
proves |
← | ch:03-weak-interactions@proof-31 | declared | parts/11-qft-standard-model/03-weak-interactions.tex:2241 |