Manuscript XIV-B@1 · XIV-B.tex · section · 53202eaa

Release criteria and the copied premise sheet

Release criteria and the copied premise sheet · lines 299–313

The endings are Constructed, Proved obstructed, and Unresolved, applied to the named object on the named domain. A missing quantum product is not a no-go. A constructed relative complex is not an interacting differential on $E_{H}$ .

XIV-B continues (F_{W}, s_{ext}) and proves that it does not become a differential on E_{H} .

The following statements are copied and are not re-proved.

Displayed formulas in this passage

unlabeled · line 307
$XIV-B continues (F_{W}, s_{ext}) and proves that it does not become a differential on E_{H} .$

Nearby in this section

input: Input statement: XIV-A: the breaking functional and the two spaces
input: Input statement: XIV-A: the observable ledger
input: Input statement: XIII-C: the unopened gate
input: Input statement: XIII-A and XIII-D: two closed doors
input: Input statement: XII-A and XI-B: carrier, free rule, uniqueness