Theorem 3comr

Commutation in antecedent. Rotate right. (Contributed by NM, 28-Jan-1996.) Theorems shortened and reordered. (Revised by Wolf Lammen, 9-Apr-2022.)

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