Left Operation is Idempotent

Theorem
The left operation is idempotent:
 * $\forall x: x \leftarrow x = x$

Proof
Immediate from the definition of the left operation.

Also see

 * Right Operation is Idempotent