Definitions bool 1 Doc

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

i = j
By:
SwapEquands 3
THEN
AssertLemma Thm* true = false []
THEN
Trivial
Generated subgoals:

None