Definitions bool 1 Doc

At: eq int eq false

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

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