Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1
Conclusion
Non-identifications and separate successor obligations › Conclusion · lines 2504–2524
The closed result is
The finite theorem adds a representation promise and a reversible classical realization. It does not silently replace that promise by expectation measurement.
Displayed formulas in this passage
unlabeled · line 2507