Definitions bool 1 Doc

At: eqtt to assert 2
1. b:
2. b

b = true
By: BoolInd 1
Generated subgoals:

11. true
true = true
21. false
false = true