Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Concrete relations and evaluated scalar descent
Concrete relations and evaluated scalar descent · lines 1514–1518
This is chart support, not a theorem about the defect
IXFree ({:fullsupport}).
Nearby in this section
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-two relation kernels
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-four relation kernels
- section: Concrete relations and evaluated scalar descent
- lemma: Lemma: Full distributional support of K
- lemma: Lemma: Compact primitive
- theorem: Theorem: Injective partial-contraction presentations