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
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.