Definitions
bool
1
Doc
At:
eqtt
to
assert
1
1.
b:
2.
b = true
b
By:
BoolInd 1
Generated subgoals:
1
1.
true
= true
true
2
1.
false
= true
false