proposition 111.5 Helium suppresses the regeneration background
open in the book ·
parts/11-qft-standard-model/13-exp-cp-violation.tex:399
· p. 2362
Rests on
- depends_on equation 111.4 eq:expcp-rho ¶
- proves proof ch:13-exp-cp-violation@proof-3 ¶
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:expcp-rho | declared | parts/11-qft-standard-model/13-exp-cp-violation.tex:406 |
proves |
← | ch:13-exp-cp-violation@proof-3 | declared | parts/11-qft-standard-model/13-exp-cp-violation.tex:409 |