Definitions bool 1 Doc

At: decidable equal bool 1 2 1

false = true
By:
Analyze 0
THEN
SwapEquands -1
Generated subgoal:

11. true = false
False