Manuscript XVI-H@1 · XVI-H.tex · section · af895076
Root and root-kernel input
Setting and inherited interfaces › Root and root-kernel input · lines 539–552
The compactness in (eq:B-support) is a joint
root-kernel input. It is not inferred merely from compact
support of the root's output for each scalar.
The supplied XVI-H-v3 attributes these statements to
XII-D, lem:root-kernel,
eq:B-kernel, thm:root, and
eq:t-bounds XVIHvThree,XIID.
All the kernel theorems below are relative to Inputs input:source–input:root. They do not purport to re-prove those predecessor interfaces.