Definitions bool 1 Doc

At: decidable assert 1 1

true true
By: DNth 1 0
Generated subgoal:

1 true