Theorem
pm3.43i
Nested conjunction of antecedents. (Contributed by NM, 4-Jan-1993.)
Conclusion
\( \vdash (\varphi \rightarrow \psi) \rightarrow (\varphi \rightarrow \chi) \rightarrow \varphi \rightarrow \psi \wedge \chi \)
Proof
pm3.2
imim3i
_
This is the content in the right pane.