Definitions
bool
1
Doc
At:
bimplies
weakening
u,v:
. u = v
u
v
By:
RepD
Generated subgoal:
1
1.
u:
2.
v:
3.
u = v
u
v