Left Operation is Associative

Theorem
The left operation is associative:


 * $\forall x, y, z: \paren {x \leftarrow y} \leftarrow z = x \leftarrow \paren {y \leftarrow z}$

Also see

 * Right Operation is Associative