bool
1
Doc
Def
A
B ==
B < A
Thm*
assert_of_le_int
Thm*
b2i_bounds
In prior sections:
int
1