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