Manuscript Em01-E@2 · Em01-E-v2.tex · section · 54f8f8c2
Normal order and conormal wavefront
Evaluated complete degenerate specialization › Normal order and conormal wavefront · lines 2170–2176
The smooth-coefficient normal-jet/conormal relation is also described in Dang's supported-distribution analysis Dang (Lemma 8.1). The direct proof above is sufficient for this application.