Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b
Both admitted partial stages
Both admitted partial stages · lines 671–677
Theorem thm:first constructs only the two first stages. It does not define multiplication of their outputs by another sharp insertion.
Nearby in this section
- section: Both admitted partial stages
- lemma: Lemma: Injectivity of the generating test maps
- proposition: Proposition: Reverse coefficient and its sign
- section: Both admitted partial stages
- theorem: Theorem: Admitted first-stage products
- proposition: Proposition: Fixed-support continuity of the first stage