Theorem
ad2ant2rl
Deduction adding two conjuncts to antecedent. (Contributed by NM, 24-Nov-2007.)
Hypothesis
ad2ant2.1
\( \vdash \varphi \wedge \psi \rightarrow \chi \)
Conclusion
\( \vdash \varphi \wedge \theta \wedge (\tau \wedge \psi) \rightarrow \chi \)
Proof
ad2ant2.1
adantrl
_
adantlr
_
This is the content in the right pane.