Definitions bool 1 Doc

At: decidable assert

b:. Dec(b)
By:
Unfold `decidable` 0
THEN
Analyze 0
Generated subgoal:

11. b:
b b