Manuscript XIII-D@1 · XIII-D.tex · section · bab69024
Conclusion
D7: decision and exact successor package › Conclusion · lines 1284–1309
remains an evaluation set. The quantum two-line coefficient remains unresolved. Exactly one bounded integrated classical class has been excluded, with its support and representation assumptions visible.
Displayed formulas in this passage
unlabeled · line 1286