[Lattice L46-7]Home PageHome Quantum Logic Explorer < Previous   Next >
Related theorems
GIF version
Syntax Definition wt 9
Description: The logical true constant is a term.
Assertion
Ref Expression
wt term  1
See definition df-t 40 for more information.
Colors of variables: term
metamath.org