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