Right Operation is Anticommutative

Theorem
The right operation is anticommutative:


 * $$\forall x, y: x \rightarrow y = y \rightarrow x \iff x = y$$

Proof
Immediate from the definition of the right operation.

Also see

 * Left Operation is Anticommutative