Definitions bool 1 Doc

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

ij
By:
AssertLemma Thm* true = false []
THEN
Trivial
Generated subgoals:

None