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

Back to manuscript

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.

Nearby in this section