Theorem jaoian

Inference disjoining the antecedents of two implications. (Contributed by NM, 23-Oct-2005.)

Hypotheses
jaoian.1
\( \vdash \varphi \wedge \psi \rightarrow \chi \)
jaoian.2
\( \vdash \theta \wedge \psi \rightarrow \chi \)
Conclusion
\( \vdash (\varphi \vee \theta) \wedge \psi \rightarrow \chi \)
Proof
jaoian.1
l1
ex _
jaoian.2
ex _
jaoi l1 _
imp _