Definitions bool 1 Doc

At: eq int eq false elim 1
1. i:
2. j:
3. (i=j) = false

ij
By: Decide (i = j)
Generated subgoal:

14. i = j
ij