bool
1
Doc
Def
i < z j == if i < j
true
; false
fi
Thm*
assert_of_lt_int
Thm*
bnot_of_le_int