Theorem cadrot

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

Conclusion
\( \vdash \text{ cadd } ( \varphi , \psi , \chi ) \leftrightarrow \text{ cadd } ( \psi , \chi , \varphi ) \)
Proof
l0
cadcoma
\( \vdash \text{ cadd } ( \varphi , \psi , \chi ) \leftrightarrow \text{ cadd } ( \psi , \varphi , \chi ) \)
cadcomb
\( \vdash \text{ cadd } ( \psi , \varphi , \chi ) \leftrightarrow \text{ cadd } ( \psi , \chi , \varphi ) \)
bitri l0 _