Manuscript X-G@1 · X-G.tex · section · 01566e14
The first scalar slot of the completed kernel
Frozen conventions and a support correction › The first scalar slot of the completed kernel · lines 474–487
X-G@1#eq:correctsets
The support assertion for in X-F requires correction. Its scalar completion contains , whose support need not be contained in .
Define the compact sets
Displayed formulas in this passage
X-G@1#eq:correctsets · line 482