Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24
Operational equivalence and order covariance
The frozen order-forming operation › Operational equivalence and order covariance · lines 752–757
This establishes order covariance. Affine covariance of a future selected representation remains a separate obligation.