Definitions bool 1 Doc

At: decidable assert 1 2

false false
By: DNth 2 0
Generated subgoal:

1 false