Theorem
simpll
Simplification of a conjunction. (Contributed by NM, 18-Mar-2007.)
Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \rightarrow \varphi \)
Proof
id
ad2antrr
_
This is the content in the right pane.