Definitions bool 1 Doc

At: eq int eq true 1
1. i:
2. j:
3. i = j

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

None