Manuscript En08-B@1 · En08-B.tex · section · 23cac52a
Support, signalling, and necessary resources
Support, signalling, and necessary resources · lines 401–406
This proof is included in full. The similar prescribed-block
statement in VIII-C is a comparison, not an imported hypothesis
CheungVIIIC (Theorem thm:C5).
Nearby in this section
- section: Support, signalling, and necessary resources
- lemma: Lemma: One-layer support bound
- definition: Definition: Payload influence
- corollary: Corollary: Exact locality lower bound
- remark: Remark: References do not evade the lower bound
- proposition: Proposition: Static-site register lower bound
- section: Support, signalling, and necessary resources