int 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def {i...} == {j:| ij }

is mentioned by

Thm* i:, A:({i...}Prop). (j:. ij  A(j))  (j:{i...}. A(j))[int_le_to_int_upper]
Thm* i:, A:({i+1...}Prop). (j:. i<j  A(j))  (j:{i+1...}. A(j))[int_lt_to_int_upper]
Thm* i:, j:{i...}. ij[int_upper_properties]

Try larger context: StandardLIB IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

int 1 Sections StandardLIB Doc