Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
The scalar-only second coefficient
E2: the sheet, the two legs, and the scalar completion › The scalar-only second coefficient · lines 584–589
Lemma lem:affine is the double-count test: whatever is placed in the second slot of contributes exactly of it, once.