Right Operation is Associative

Theorem
The right operation is associative:


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

Also see

 * Left Operation is Associative