Manuscript XVI-L@1 · XVI-L.tex · remark · 35081099
Remark: Independence of the basis
L.4 Coherent extension preserving XVI-K · lines 872–877
XVI-L@1#rem:Lbasisfree
For and , the zero-moment construction reads on test functions, using the unique extension of to functions vanishing to order at . Hence does not depend on . Combined with Proposition prop:RL(3), the restriction identity is likewise basis-free.