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