Left Operation is Idempotent

From ProofWiki
Jump to navigation Jump to search

Theorem

The left operation is idempotent:

$\forall x: x \leftarrow x = x$


Proof

Immediate from the definition of the left operation.

$\blacksquare$


Also see


Sources