Definitions bool 1 Doc

At: bool cases 1 2

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

None