Definitions bool 1 Doc

At: band tt simp

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

None