Definitions bool 1 Doc

At: eq int eq true

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

11. i:
2. j:
3. i = j
(i=j) = true