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 1140–1153
IX-C-ST@1#eq:oneedges
This is continuity along specified test families, not
hypocontinuity on arbitrary carrier stages
IXC ({:firstcontinuity}).
For the selected tests set
Displayed formulas in this passage
IX-C-ST@1#eq:oneedges · line 1147
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
- proposition: Proposition: One-edge outputs
- section: Both first stages and the placement ledger
- proposition: Proposition: Signs and multiplicities