I’m not sure there is a transformation intended… Proposition (1-9) appears by itself in a section that discusses “implication” (it introduces ⇒ as a shorthand for A=AB) and does not appear to follow from (1-8).
Hrm, no wonder it didn’t work out. Thanks.
I’m not sure there is a transformation intended… Proposition (1-9) appears by itself in a section that discusses “implication” (it introduces ⇒ as a shorthand for A=AB) and does not appear to follow from (1-8).
Hrm, no wonder it didn’t work out. Thanks.