Manuscript XIII-D@1 · XIII-D.tex · input · bab69024
Input statement: Classical binary handoff
Copied prerequisite sheet › XIII-B: the tree datum · lines 339–358
The vertex
is admitted. The tree datum
is constructed, proper, and microcausal. Ordered values of are or . The literal normalization is proved obstructed. The joint two-line extension was left unresolved XIIIB.
Displayed formulas in this passage
unlabeled · line 341
unlabeled · line 346