Definitions bool 1 Doc

At: decidable assert 1
1. b:

b b
By: BoolInd 1
Generated subgoals:

1 true true
2 false false