Manuscript XII-D@1 · XII-D.tex · section · 308a2080
Conclusion
Decision and successor package › Conclusion · lines 1403–1423
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