Definitions bool 1 Doc

At: assert elim

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

11. b:
2. b
b = true