Theorem
simplrr
Simplification of a conjunction. (Contributed by Jeff Hankins, 28-Jul-2009.)
Conclusion
\( \vdash \varphi \wedge (\psi \wedge \chi) \wedge \theta \rightarrow \chi \)
Proof
simpr
ad2antlr
_
This is the content in the right pane.