Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Both first stages and the placement ledger
Both first stages and the placement ledger · lines 1204–1209
This counts slots; it does not yet prove the products in (eq:twolab) exist IXC.
Nearby in this section
- lemma: Lemma: Injective generating tests
- proposition: Proposition: Reverse coefficient and its sign
- section: Both first stages and the placement ledger
- theorem: Theorem: Admitted first-stage products
- proposition: Proposition: Fixed-support first-stage continuity
- section: Both first stages and the placement ledger
- proposition: Proposition: One-edge outputs
- section: Both first stages and the placement ledger