Manuscript X-F@1 · X-F.tex · section · f35cc129

Admission

F3: three trees › Admission · lines 1120–1128

Back to manuscript

X-E's admission lemma for its single tree is the case of the same argument, with treated as a composite field; the three-slot case needed for is what X-E named and did not construct. The sum-zero form is sharper than X-E's chain argument and needs no case distinction between diagonal and off-diagonal parts of .

Nearby in this section