Right Operation is Entropic

Theorem
The right operation is entropic:


 * $\forall a, b, c, d: \paren {a \to b} \to \paren {c \to d} = \paren {a \to c} \to \paren {b \to d}$

Also see

 * Left Operation is Entropic