Definitions
bool
1
Doc
At:
eq
int
eq
true
elim
1
1.
i:
2.
j:
3.
(i=
j) = true
i = j
By:
Decide (i = j)
Generated subgoal:
1
4.
i = j
i = j
j) = true
i = j
i = j i = j