Manuscript XII-D@1 · XII-D.tex · section · 308a2080

Conclusion

Decision and successor package › Conclusion · lines 1403–1423

Back to manuscript

The source pairing is a derived identity, not a renamed definition. Smooth response and carrier admission have separate proofs. Neither is an Einstein-jet repair.

Displayed formulas in this passage

  • unlabeled · line 1405