Definitions bool 1 Doc

At: eq int eq true elim

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

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