(5steps total) PrintForm Definitions num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable coprime
  i,j:. SqStable(CoPrime(i,j))
By: RepUnfolds [`sq_stable`;`coprime`;`gcd_p`] 0

Generated subgoals:

1 1. i : 
2. j : 
3. (1 | i & 1 | j & (z:. z | i & z | j  z | 1))
  1 | i
1 step
2 1. i : 
2. j : 
3. (1 | i & 1 | j & (z:. z | i & z | j  z | 1))
  1 | j
1 step
3 1. i : 
2. j : 
3. (1 | i & 1 | j & (z:. z | i & z | j  z | 1))
4. z : 
5. z | i
6. z | j
  z | 1
2 steps

About:
intnatural_numberall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(5steps total) PrintForm Definitions num thy 1 Sections StandardLIB Doc