Theorem ad2ant2lr

Deduction adding two conjuncts to antecedent. (Contributed by NM, 23-Nov-2007.)

Hypothesis
ad2ant2.1
\( \vdash \varphi \wedge \psi \rightarrow \chi \)
Conclusion
\( \vdash \theta \wedge \varphi \wedge (\psi \wedge \tau) \rightarrow \chi \)
Proof
ad2ant2.1
adantrr _
adantll _