Theorem 3anrev

Reversal law for triple conjunction. (Contributed by NM, 21-Apr-1994.)

Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \chi \wedge \psi \wedge \varphi \)
Proof
l0
3ancoma
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \psi \wedge \varphi \wedge \chi \)
3anrot
\( \vdash \chi \wedge \psi \wedge \varphi \leftrightarrow \psi \wedge \varphi \wedge \chi \)
bitr4i l0 _