bool
1
Doc
At:
assert
of
bimplies
1
1.
True
False
False
By:
Analyze 1
Generated subgoals:
None
False
False