Definitions
bool
1
Doc
At:
assert
of
eq
bool
1
1
1
1.
false
= true
False
By:
AssertLemma
Thm*
true
= false
[]
Generated subgoal:
1
2.
true
= false
False
= true
False
true = false
[]