Definitions
bool
1
Doc
At:
neg
assert
of
eq
int
1
1.
x:
2.
y:
x=
y
x
y
By:
RWH (LemmaC
Thm*
x,y:
. x=
y
x = y) 0
Generated subgoal:
1
x = y
x
y
x=
y 
x
y
x,y:. x=y x = y)
0