[Lattice L46-7]Home PageHome Quantum Logic Explorer < Previous   Next >
Related theorems
Unicode version
Syntax Definition wt 8
Description: The logical true constant is a term.
Assertion
Ref Expression
wt term 1
See definition df-t 41 for more information.
Colors of variables: term
Copyright terms: Public domain