Left Operation is Associative

Theorem
The left operation is associative:


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

Also see

 * Right Operation is Associative