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

Back to manuscript

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