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