Definitions bool 1 Doc

At: band ff simp

u:. (ufalse) = false
By:
UnivCD
THEN
BoolEval
Generated subgoals:

None