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

Back to manuscript

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

Nearby in this section