Theorem an32s

Swap two conjuncts in antecedent. (Contributed by NM, 13-Mar-1996.)

Hypothesis
an32s.1
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \wedge \chi \wedge \psi \rightarrow \theta \)
Proof
l0
an32
\( \vdash \varphi \wedge \chi \wedge \psi \leftrightarrow \varphi \wedge \psi \wedge \chi \)
an32s.1
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \theta \)
sylbi l0 _