Definitions bool 1 Doc

At: b2i bounds 1
1. b:

0b2i(b) & b2i(b)1
By:
BoolCases 1
THEN
AbReduce 0
Generated subgoals:

None