Right Operation is Associative

Theorem
The right operation is associative:


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

Also see

 * Left Operation is Associative