Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Wordwise coherence, reversal, and continuity
Wordwise coherence, reversal, and continuity · lines 2370–2375
This is wordwise coherence after actual binary factorization, not an assignment that declares two ternary sums equal. It is nevertheless not associativity for unspecified triples.
Nearby in this section
- theorem: Theorem: Both selected associations
- theorem: Theorem: Partial-product reversal
- proposition: Proposition: Actual-functional presentation independence
- theorem: Theorem: F9a on the complete declared new sector
- proposition: Proposition: The retained continuity obstruction
- section: Wordwise coherence, reversal, and continuity