Theorem anim12ci

Variant of anim12i with commutation. (Contributed by Jonathan Ben-Naim, 3-Jun-2011.)

Hypotheses
anim12i.1
\( \vdash \varphi \rightarrow \psi \)
anim12i.2
\( \vdash \chi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \wedge \chi \rightarrow \theta \wedge \psi \)
Proof
l0
anim12i.2
anim12i.1
anim12i l0 _
ancoms _