Manuscript XV-F@3 · XV-F-v3.tex · remark · d4e74afa
Remark: A check that cannot be performed
Source manifest (Gate F0) › Existence and supports of the internal expressions · lines 1488–1501
XV-F@3#rem:conormal
With the factor and its derivatives present in (eq:Q), is singular along all of , including points with , where is locally constant. A distribution conormal to in the strict sense is smooth off . The reported “regular conormal representation of upper order on on the separated chronological patch” Iresponse is therefore compatible with (eq:K8) only under a reading of “separated chronological patch” or of “regular conormal representation” that the record does not reproduce. No inconsistency is asserted and none is excluded; the item is in the successor requirement.
Nearby in this section
- lemma: Lemma: The source kernel exists and is carried by v=a=z
- theorem: Theorem: The six internal expressions exist for every completion of the undefined data
- corollary: Corollary: Conditional consequences of the candidate readings of f and m
- proposition: Proposition: Supports of the supported sector
- remark: Remark: A candidate for the response incidence