Left Operation is Associative

Theorem
The left operation is associative:

$$\forall x, y, z: \left({x \leftarrow y}\right) \leftarrow z = x \leftarrow \left({y \leftarrow z}\right)$$

Proof
By the definition of the left operation:

$$ $$

$$ $$

Hence the result.