Manuscript XV-C@1 · XV-C.tex · corollary · 5afd124d
Corollary: The exact missing unrestricted extension estimate
The supported-sector criterion in evaluable form › Local geometric hypotheses · lines 1056–1072 · proof included or linked
XV-C@1#cor:sourceestimate
For the supplied supported reference, take
Its unrestricted supported normal-order-preserving extension exists locally if and only if the collected distributions (eq:degree3)–(eq:degree0) satisfy (eq:jetbound) on the tangential characteristic complement.
Proof. The source provides the supported normal form on its stated domain. Proposition prop:collected gives its unique coefficients. Apply Theorem thm:supported.
Displayed formulas in this passage
unlabeled · line 1059