Theorem simpr2

Simplification of conjunction. (Contributed by Jeff Hankins, 17-Nov-2009.) (Proof shortened by Wolf Lammen, 23-Jun-2022.)

Conclusion

\( \vdash \varphi \wedge (\psi \wedge \chi \wedge \theta) \rightarrow \chi \)

Proof

simpr

3ad2antr2 _