Theorem
bitru
A theorem is equivalent to truth. (Contributed by Mario Carneiro, 9-May-2015.)
Hypothesis
bitru.1
\( \vdash \varphi \)
Conclusion
\( \vdash \varphi \leftrightarrow \top \)
Proof
l0
bitru.1
tru
2th
l0
_
This is the content in the right pane.