PrintForm
Definitions
int
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
int
iseg
properties
i
,
j
:
,
y
:{
i
...
j
}.
i
y
&
y
j
By:
ProvePropertiesLemma
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
int
1
Sections
StandardLIB
Doc