Manuscript XIII-C@1 · XIII-C.tex · section · e6556893
Conclusion
C7: decision and successor boundary › Conclusion · lines 1280–1301
The tree datum was already constructed. The relevant collision is not confined to the total diagonal. Elementary extension is not joint extension. The coefficient through has one precise ending, and the gauge-consistency gate remains closed.
Displayed formulas in this passage
unlabeled · line 1282