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