Theorem
simplbi2comt
Closed form of
simplbi2com
. (Contributed by Alan Sare, 22-Jul-2012.)
Conclusion
\( \vdash (\varphi \leftrightarrow \psi \wedge \chi) \rightarrow \chi \rightarrow \psi \rightarrow \varphi \)
Proof
biimpr
expcomd
_
This is the content in the right pane.