Right Operation is Anticommutative

From ProofWiki
Jump to navigation Jump to search

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.

$\blacksquare$


Also see


Sources