λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · section · 8ca47088

Stage C: readout closure of the retained coefficient

Stage C: readout closure of the retained coefficient · lines 1410–1417

Back to manuscript

This section records the operational half of X-Enter and the supplied proposed X-Enter-ST XEnter,XEnterST. The proofs are included so the present manuscript has no external source-code dependency.