Theorem ad2antlr

Deduction adding two conjuncts to antecedent. (Contributed by NM, 19-Oct-1999.) (Proof shortened by Wolf Lammen, 20-Nov-2012.)

Hypothesis
ad2ant.1
\( \vdash \varphi \rightarrow \psi \)
Conclusion
\( \vdash \chi \wedge \varphi \wedge \theta \rightarrow \psi \)
Proof
ad2ant.1
adantr _
adantll _