Definitions bool 1 Doc

At: btrue neq bfalse

true = false
By: Analyze 0
Generated subgoal:

11. true = false
False