Manuscript IX-B-ST@1 · IX-B-ST.tex · section · f6af1523
Regularized association and the missing sharp operation
Regularized association and the missing sharp operation · lines 1337–1343
The theorem carries the IX-B regularized identity
CheungIXB ({:regularassociation}).
It concerns a schedule of old-domain evaluations, not a
physical causal past.
Nearby in this section
- theorem: Theorem: Equality of regularized parenthesizations
- remark: Remark: What numerical subtraction changes
- proposition: Proposition: The admitted partial coefficient
- section: Regularized association and the missing sharp operation
- proposition: Proposition: Missing sharp second multiplication
- section: Regularized association and the missing sharp operation