Manuscript X-B-ii@1 · X-B-ii-v1.tex · section · f1377602

The sheet determines the map

C3: the normalization sheet › The sheet determines the map · lines 872–879

Back to manuscript

X-B's product sheet writes the normalization row for the single test ; the proof of X-B, Theorem thm:retarded, is for arbitrary . Definition def:sheetN records the normalization on the whole domain , which is what that proof establishes.

Nearby in this section