Manuscript X-C-ST@1 · X-C-ST.tex · section · b679954e
Formal inverse on actual tests
Direct construction of the two new maps › Formal inverse on actual tests · lines 773–781
This is the direct scalar-map construction of
X-C in the inherited supported presentation
XC (:moller, :maps).
The equality to is its normalization
against the classical handoff, not another copy of
that response.