Definitions bool 1 Doc

At: bor tt simp

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

None