Theorem
ancr
Conjoin antecedent to right of consequent. (Contributed by NM, 15-Aug-1994.)
Conclusion
\( \vdash (\varphi \rightarrow \psi) \rightarrow \varphi \rightarrow \psi \wedge \varphi \)
Proof
pm3.21
a2i
_
This is the content in the right pane.