Manuscript III-B@1 · III-B-v1.tex · section · d2c98f62
Operators, signs, and smooth evolution
Operators, signs, and smooth evolution · lines 614–620
This is a flat supported proof, consistent with the general smooth wave framework BGP. No global conical Green operator is invoked.