Theorem
truorfal
A
\/
identity. (Contributed by Anthony Hart, 22-Oct-2010.)
Conclusion
\( \vdash \top \vee \bot \leftrightarrow \top \)
Proof
tru
orci
_
bitru
_
This is the content in the right pane.