Manuscript IX-D-ST@1 · IX-D-ST.tex · lemma · b1dc631a
Lemma: Injective surface coefficient
Exact quadratic support and surface non-cancellation · lines 1744–1756 · proof included or linked
IX-D-ST@1#lem:surfaceinjective
The map is injective.
Proof. Contraction gives
The scalar factor is nonzero.
Displayed formulas in this passage
unlabeled · line 1751