Theorem com5r

Commutation of antecedents. Rotate right. (Contributed by Wolf Lammen, 29-Jul-2012.)

Hypothesis
com5.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \rightarrow \theta \rightarrow \tau \rightarrow \eta \)
Conclusion
\( \vdash \tau \rightarrow \varphi \rightarrow \psi \rightarrow \chi \rightarrow \theta \rightarrow \eta \)
Proof
com5.1
com52l _
com52l _