Definitions
bool
1
Doc
At:
assert
of
eq
bool
p,q:
. p=
q
p = q
By:
UnivCD
Generated subgoal:
1
1.
p:
2.
q:
p=
q
p = q
p,q:
. p=
q 
p = q