Theorem 3coml

Commutation in antecedent. Rotate left. (Contributed by NM, 28-Jan-1996.)

Hypothesis
3exp.1
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \theta \)
Conclusion
\( \vdash \psi \wedge \chi \wedge \varphi \rightarrow \theta \)
Proof
3exp.1
3com23 _
3com13 _