theorem 2.8 First-order propagation
open in the book ·
parts/01-foundations/02-measurement-si-error.tex:175
· p. 13
Rests on
- proves proof ch:02-measurement-si-error@proof-3 ¶
Supports
- depends_on corollary 2.9 Quotients and powers ¶
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 |
← | Quotients and powers | declared | parts/01-foundations/02-measurement-si-error.tex:200 |
proves |
← | ch:02-measurement-si-error@proof-3 | declared | parts/01-foundations/02-measurement-si-error.tex:185 |