Manuscript XIII-C@1 · XIII-C.tex · section · e6556893
XIII-B's release, copied
C0: copied release and the selected problem › XIII-B's release, copied · lines 312–339
XIII-C@1#eq:tree-input, XIII-C@1#eq:tree-branches-input, XIII-C@1#eq:R-convention
The constructed tree datum is not recomputed:
The selected convention remains
Its ordered values are zero when the entire interaction support is later, and when the entire observable support is later. The literal equality with is closed and is not reopened.
Displayed formulas in this passage
XIII-C@1#eq:tree-input · line 315
XIII-C@1#eq:tree-branches-input · line 321
XIII-C@1#eq:R-convention · line 328