Manuscript VII-C@1 · VII-C.tex · section · 8b2ade29
A joint wavefront upper bound
The full insertion kernel and the characteristic-cone test › A joint wavefront upper bound · lines 514–521
The distinctions between multiplication, pullback, and pushforward used here are the standard distributional ones; membership in a wavefront-restricted vector space is not itself an operation theorem BDH.