Definitions bool 1 Doc

At: bool cases 1 1

true = true true = false
By: DNth 1 0
Generated subgoals:

None