Manuscript XIII-D@1 · XIII-D.tex · section · bab69024

Conclusion

D7: decision and exact successor package › Conclusion · lines 1284–1309

Back to manuscript

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