Definitions bool 1 Doc

At: decidable assert 1 1 1

true
By: BackThru Thm* true
Generated subgoals:

None