Definitions bool 1 Doc

At: eq int eq false 1
1. i:
2. j:
3. ij

(i=j) = false
By:
Unfold `eq_int` 0
THEN
CaseReduce `false` [1]
Generated subgoals:

None