Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
F2: evaluated scalar descent
F2: evaluated scalar descent · lines 810–817
The conclusion is algebraic scalar descent, not permission to use every in a completed bulk-relative product. Old-product overlap conditions may impose additional restrictions. No such restriction is evaluated here.
Nearby in this section
- section: F2: evaluated scalar descent
- 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