Definitions bool 1 Doc

At: bor ff simp

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

None