proposition 103.38 Time-integrated mixing probability
open in the book ·
parts/11-qft-standard-model/05-flavour-neutrinos.tex:1756
· p. 2049
Rests on
- depends_on equation 103.37 eq:flavour-strangeness-oscillation ¶
- depends_on equation 103.34 eq:flavour-xy ¶
- proves proof ch:05-flavour-neutrinos@proof-19 ¶
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:flavour-strangeness-oscillation | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:1765 |
depends_on |
→ | eq:flavour-xy | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:1765 |
proves |
← | ch:05-flavour-neutrinos@proof-19 | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:1768 |