Definitions bool 1 Doc

At: decidable equal bool 1 4

false = false false = false
By: Sel 1 (Analyze 0)
Generated subgoals:

None