Theorem
sbtru
The result of substituting in the truth constant "true" is true. (Contributed by BJ, 2-Sep-2023.)
Conclusion
\( \vdash [ y' / x ] \, \top \)
Proof
tru
sbt
_
This is the content in the right pane.