bool
1
Doc
At:
assert
of
bor
1
1
1.
True
True
True
By:
DNth 1 0
Generated subgoals:
None
True 
True