Definitions bool 1 Doc

At: eq int eq false elim

i,j:. (i=j) = false ij
By: UnivCD
Generated subgoal:

11. i:
2. j:
3. (i=j) = false
ij