Manuscript IX-E@1 · IX-E.tex · proposition · 8f8d5e7f
Proposition: Classical multiplication is not a solution
E1: ordered-data consistency › The complete first-stage commutator calculation · lines 702–714 · proof included or linked
The symmetric candidate fails factorization on the inherited ordered slab witness.
Proof. On that witness and
The candidate has no such coefficient.
Displayed formulas in this passage
unlabeled · line 709
Nearby in this section
- section: The complete first-stage commutator calculation
- proposition: Proposition: First-stage commutator
- section: The complete first-stage commutator calculation
- lemma: Lemma: Compact detection
- section: The complete first-stage commutator calculation
- theorem: Theorem: Fixed-domain obstruction
- section: The complete first-stage commutator calculation
- section: The complete first-stage commutator calculation