theorem 105.25 Number of physical phases
open in the book ·
parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2069
· p. 2134
Rests on
- depends_on equation 104.46 eq:ewh-yukawa-lagrangian ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-20 ¶
Supports
-
depends_on
proposition 105.27
When $CP$ violation is possible
¶
- depends_on proposition 103.30 Area and the Jarlskog invariant ¶
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-yukawa-lagrangian | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2079 |
depends_on |
← | When $CP$ violation is possible | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2154 |
proves |
← | ch:07-discrete-symmetries-cpt@proof-20 | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2082 |