Theorem com52l

Commutation of antecedents. Rotate left 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 \chi \rightarrow \theta \rightarrow \tau \rightarrow \varphi \rightarrow \psi \rightarrow \eta \)
Proof
com5.1
com5l _
com5l _