Manuscript IX-A@1 · IX-A.tex · section · 55aa6f6d
The main IX-A theorem
The question and the exact change of admission › The main IX-A theorem · lines 382–388
The proof occupies Sections sec:adjoint–sec:compatibility. Selected old contraction outputs are treated separately in Section sec:partial.