Theorem 3impib

Importation to triple conjunction. (Contributed by NM, 13-Jun-2006.)

Hypothesis
3impib.1
\( \vdash \varphi \rightarrow \psi \wedge \chi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \theta \)
Proof
3impib.1
expd _
3imp _