Theorem com52r

Commutation of antecedents. Rotate right twice. (Contributed by Jeff Hankins, 28-Jun-2009.)

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