proposition 104.31 The tree-level electroweak relations
open in the book ·
parts/11-qft-standard-model/06-electroweak-higgs.tex:1350
· p. 2086
Rests on
- depends_on equation 104.36 eq:ewh-masses ¶
- depends_on equation 104.32 eq:ewh-vev-value ¶
-
depends_on
proposition 101.67
The mixing angle and the fermion couplings
¶
- depends_on equation 101.70 eq:weak-covariant-derivative ¶
- proves proof ch:03-weak-interactions@proof-46 ¶
- proves proof ch:06-electroweak-higgs@proof-15 ¶
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:ewh-masses | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1374 |
depends_on |
→ | eq:ewh-vev-value | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1374 |
depends_on |
→ | The mixing angle and the fermion couplings | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1374 |
proves |
← | ch:06-electroweak-higgs@proof-15 | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1377 |