Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
F2: evaluated scalar descent
F2: evaluated scalar descent · lines 664–669
The next argument evaluates the actual scalar relation tests. It does not merely repeat their affine classification.
Nearby in this section
- lemma: Lemma: Full support of the mixed kernel
- lemma: Lemma: Compact distributions have no constant primitive
- theorem: Theorem: Injective partial-contraction presentations
- section: F2: evaluated scalar descent
- corollary: Corollary: Evaluation of the parent-parameter test
- section: F2: evaluated scalar descent