Theorem
falanfal
A
/\
identity. (Contributed by Anthony Hart, 22-Oct-2010.)
Conclusion
\( \vdash \bot \wedge \bot \leftrightarrow \bot \)
Proof
anidm
This is the content in the right pane.