Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67

Domain list (Q5)

Domain list (Q5) · lines 1449–1459

XV-F-patch-ii@1#eq:refused

Set $O = U_{can}$ , the inherited domain on which the specified products have already been proved II3. The refused equality is recorded once and not used:

U_{can} \neq =_{asserted} W ∖ N_{att} .

Displayed formulas in this passage

XV-F-patch-ii@1#eq:refused · line 1454
$U_{can} \neq =_{asserted} W ∖ N_{att} .$

Nearby in this section

proposition: Proposition: Products proved by the direct sheets, with their stated domains
section: Domain list (Q5)