Theorem jaoa

Inference disjoining and conjoining the antecedents of two implications. (Contributed by Stefan Allan, 1-Nov-2008.)

Hypotheses
jaao.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
jaao.2
\( \vdash \theta \rightarrow \tau \rightarrow \chi \)
Conclusion
\( \vdash \varphi \vee \theta \rightarrow \psi \wedge \tau \rightarrow \chi \)
Proof
jaao.1
l1
adantrd _
jaao.2
adantld _
jaoi l1 _