Definitions bool 1 Doc

At: not assert elim

b:. b b = false
By: UnivCD
Generated subgoal:

11. b:
2. b
b = false