bool
1
Doc
Def
{i..j
} == {k:
| i
k < j}
Thm*
ite_rw_test
In prior sections:
int
1