Definitions bool 1 Doc

At: decidable equal bool 1 2 1 1
1. true = false

False
By:
MoveToConcl 1
THEN
Fold `not` 0
THEN
BackThru Thm* true = false
Generated subgoals:

None