Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4

Concrete relations and evaluated scalar descent

Concrete relations and evaluated scalar descent · lines 1570–1575

Back to manuscript

This evaluates descent only. The overlap problem remains separate IXFree ({:cdesc}).

Nearby in this section