Metamath Proof Explorer


Syntax definition wtru

Description: The constant T. is a wff.

Ref Expression
Assertion wtru wff