Theorem
exmidd
Law of excluded middle in a context. (Contributed by Mario Carneiro, 9-Feb-2017.)
Conclusion
\( \vdash \varphi \rightarrow \psi \vee \neg \psi \)
Proof
exmid
a1i
_
This is the content in the right pane.