Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67
The separated chronological patch
Patch 3: coefficient instantiation (Q3) › The separated chronological patch · lines 1304–1313
XIV-H's “separated chronological patch” (“retained separated-endpoint patch” in HH2) is the support restriction on which XIV-H proves its regular conormal amplitudes for , . It is a restriction of the internal kernels' domain, used by XIV-H; it is not a definition of and is not used as one here. With Corollary cor:K8supp the conormal statement is consistent with the displays at the level of supports (G1).