Theorem
alfal
For all sets, \( \neg \bot \) is true. (Contributed by Anthony Hart, 13-Sep-2011.)
Conclusion
\( \vdash \forall x \, \neg \bot \)
Proof
fal
ax-gen
_
This is the content in the right pane.