Definitions
bool
1
Doc
At:
eqff
to
assert
2
1.
b:
2.
b
b = false
By:
BoolInd 1
Generated subgoals:
1
1.
true
true
= false
2
1.
false
false
= false
b
b = falsetrue true = falsefalse false = false