Left Operation is Entropic

Theorem
The left operation is entropic:


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

Also see

 * Right Operation is Entropic