Manuscript X-A@1 · X-A.tex · section · dc7f5c0a
The main theorem
The question and the ending reached › The main theorem · lines 366–372
The proof occupies Sections sec:preflight–sec:tests; the handoff statements of (vii) are in Section sec:decision.
Manuscript X-A@1 · X-A.tex · section · dc7f5c0a
The question and the ending reached › The main theorem · lines 366–372
The proof occupies Sections sec:preflight–sec:tests; the handoff statements of (vii) are in Section sec:decision.