Definitions bool 1 Doc

At: decidable assert 1 2 1

false
By: BackThru Thm* false
Generated subgoals:

None