IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def {i...} == {j:| ij }
is mentioned by
Thm* i:{8...}. m,n:. 3m+5n = i | [stamps] |
Thm* i:{8...}. m,n:. 3m+5n = i | [stamps_sfa] |
In prior sections:
int 1
int 2
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html