Manuscript XIII-C@1 · XIII-C.tex · section · e6556893

Conclusion

C7: decision and successor boundary › Conclusion · lines 1280–1301

Back to manuscript

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