Definitions bool 1 Doc

At: bnot of le int 1 1 1
1. i:
2. j:

j < z i = j < z i
By: Auto
Generated subgoals:

None