Manuscript XVI-O@o70-sync · XVI-O.tex · lemma · bed49f2f
Lemma
Fixed scalar extension · lines 281–300
XVI-O@o70-sync#lem:BV_rules_on_U
On the open set , the generated tensor is in , with
The coefficients are derived from the generated . All symbolic components are the primary check. Invariant structures are documented and are not an independent basis claim. The operators are not the corpus trace-reversal operator . Then and
with . A missing scaling degree stays Unresolved and is never defaulted to . Wavefront existence is not equality of distributions.
Displayed formulas in this passage
unlabeled · line 284
unlabeled · line 294