[Lattice L46-7]Home PageHome Quantum Logic Explorer < Previous   Next >
Related theorems
GIF version
Syntax Definition wf 10
Description: The logical false constant is a term.
Assertion
Ref Expression
wf term  0
See definition df-f 41 for more information.
Colors of variables: term
metamath.org