Manuscript XV-F-patch@1 · XV-F-patch.tex · definition · 6d6ef16d

Definition: Domain slot of the patch

The domain slot and the retained refusals › The named inherited domain · lines 1922–1932

XV-F-patch@1#def:O, XV-F-patch@1#eq:O

Set

O := U_{can},

the inherited open domain in Input statement input:canonical on which the specified subsequent products and pullbacks have already been proved.

Displayed formulas in this passage