Theorem 3anim3i

Add two conjuncts to antecedent and consequent. (Contributed by Jeff Hankins, 19-Aug-2009.)

Hypothesis
3animi.1
\( \vdash \varphi \rightarrow \psi \)
Conclusion
\( \vdash \chi \wedge \theta \wedge \varphi \rightarrow \chi \wedge \theta \wedge \psi \)
Proof
l0
id
l1
id
3animi.1
3anim123i l0 l1 _