Definitions bool 1 Doc

At: decidable equal bool 1 3

true = false true = false
By:
Sel 2 (Analyze 0)
THEN
BackThru Thm* true = false
Generated subgoals:

None