Theorem
jca32
Join three consequents. (Contributed by FL, 1-Aug-2009.)
Hypotheses
jca31.1
\( \vdash \varphi \rightarrow \psi \)
jca31.2
\( \vdash \varphi \rightarrow \chi \)
jca31.3
\( \vdash \varphi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \rightarrow \psi \wedge (\chi \wedge \theta) \)
Proof
l0
jca31.1
l1
jca31.2
jca31.3
jca
l1
_
jca
l0
_
This is the content in the right pane.