Manuscript X-C-ST@1 · X-C-ST.tex · section · b679954e
The coordinate defect
Formal duality and the two defects › The coordinate defect · lines 1355–1362
The proof uses the supplied coordinate transformation data. It is not a new derivation of classical ramp covariance. The support assertion is coefficientwise; it is not a claim that an unexpanded numerical pullback leaves the support of a test fixed.