Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Reversal, presentation independence, and observations
Reversal, presentation independence, and observations · lines 1624–1631
A general joint observation multiplier supplies a numerical operation. It does not, without a separate factorization, enlarge the actual partial-product domain or open new configuration slots.
Nearby in this section
- section: Reversal, presentation independence, and observations
- theorem: Theorem: Partial-product reversal
- section: Reversal, presentation independence, and observations
- proposition: Proposition: Actual-functional presentation independence
- section: Reversal, presentation independence, and observations
- proposition: Proposition: One-parent numerical observation compatibility