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