Theorem syldbl2

Stacked hypotheseis implies goal. (Contributed by Stanislas Polu, 9-Mar-2020.)

Hypothesis
syldbl2.1
\( \vdash \varphi \wedge \psi \rightarrow \psi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \wedge \psi \rightarrow \theta \)
Proof
syldbl2.1
com12 _
anabsi7 _