Manuscript IX-A@1 · IX-A.tex · section · 55aa6f6d

Selected old coefficients and the admission test

Selected old coefficients and the admission test · lines 1393–1405

IX-A must distinguish three claims:

a coefficient exists, its output belongs to the carrier, the carrier closes under a quantum product .

Only selected instances of the first two are proved here.

Displayed formulas in this passage

unlabeled · line 1397
$a coefficient exists, its output belongs to the carrier, the carrier closes under a quantum product .$