Manuscript XXII-D@1 · XXII-D.tex · section · 17889d18
The unchanged XXII-C interface
The unchanged XXII-C interface · lines 295–301
This reproduces the relevant content of XXII-C's order theorem
CheungXXIIC (thm:order).
The components are not automatically individual source and receiver
laboratories.