Theorem anim2d

Add a conjunct to left of antecedent and consequent in a deduction. (Contributed by NM, 14-May-1993.)

Hypothesis
anim1d.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
Conclusion
\( \vdash \varphi \rightarrow \theta \wedge \psi \rightarrow \theta \wedge \chi \)
Proof
l0
idd
anim1d.1
anim12d l0 _