Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
E5: carrier check of the assembled coefficient
E5: carrier check of the assembled coefficient · lines 1028–1036
is XII-D's. The scalar-only completion is a different kernel, not in XII-A's named sector ( has degree , has degree ). Its admission is proved here by an explicit calculation; XII-D's bound for is not cited for it.