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