Definitions bool 1 Doc

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

i z j = j < z i
By: Unfold `le_int` 0
Generated subgoal:

1 j < z i = j < z i