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

Back to manuscript

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

Nearby in this section