Theorem impac

Importation with conjunction in consequent. (Contributed by NM, 9-Aug-1994.)

Hypothesis
impac.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
Conclusion
\( \vdash \varphi \wedge \psi \rightarrow \chi \wedge \psi \)
Proof
impac.1
ancrd _
imp _