Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
The scalar-sourced slot, recorded
E5: carrier check of the assembled coefficient › The scalar-sourced slot, recorded · lines 1253–1261
The named target of this paper is . The scalar-sourced slot is recorded so that the word “complete” has a definite meaning: the second slot of Proposition prop:gfcoeff is , both summands are admitted, and only varies under the metric shift.