Theorem hadrot

Rotation law for the adder sum. (Contributed by Mario Carneiro, 4-Sep-2016.)

Conclusion
\( \vdash \text{ hadd } ( \varphi , \psi , \chi ) \leftrightarrow \text{ hadd } ( \psi , \chi , \varphi ) \)
Proof
l0
hadcoma
\( \vdash \text{ hadd } ( \varphi , \psi , \chi ) \leftrightarrow \text{ hadd } ( \psi , \varphi , \chi ) \)
hadcomb
\( \vdash \text{ hadd } ( \psi , \varphi , \chi ) \leftrightarrow \text{ hadd } ( \psi , \chi , \varphi ) \)
bitri l0 _