Manuscript XVI-B@1 · XVI-B.tex · section · 6a0abffd
Auxiliary evaluation and corrected support: XVI-F-v2
Update from the supplied later sheets › Auxiliary evaluation and corrected support: XVI-F-v2 · lines 1425–1441
XVI-F-v2 independently defines
It proves existence and a source representation involving an integrated kernel. The earlier claim that this integrated kernel is automatically compact was corrected in that version XVIFvTwo.
The relevant elementary support fact is as follows.
Displayed formulas in this passage
unlabeled · line 1428