Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b
Second-stage coefficient equations and associativity
Second-stage coefficient equations and associativity · lines 1129–1136
A nonconstant discrepancy in (eq:assoc1) or (eq:assoc2) cannot be repaired by adding to the constant coefficient. The direct-sum coefficient structure separates these equations.
Nearby in this section
- section: Second-stage coefficient equations and associativity
- proposition: Proposition: Formal coefficient expansion
- theorem: Theorem: Coefficientwise associativity criterion
- section: Second-stage coefficient equations and associativity
- corollary: Corollary: Conditional placement coherence
- remark: Remark: Why the corollary is not a construction