Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
Admission of the scalar-only completion
E5: carrier check of the assembled coefficient › Admission of the scalar-only completion · lines 1191–1196
The kernel identity between the iterated integrals and the pushforward is Fubini on the compact support for smooth fields; no approximation is used.