Definitions
bool
1
Doc
At:
neg
assert
of
eq
atom
1
1.
x:
Atom
2.
y:
Atom
x = y
x
y
By:
Unfold `nequal` 0
Generated subgoals:
None
x = y 
x
y