Definitions
bool
1
Doc
At:
bimplies
weakening
1
1.
u:
2.
v:
3.
u = v
u
v
By:
BoolEval
THEN
AbReduce 0
Generated subgoal:
1
1.
true
= false
False
u
v