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