R:(Id), in,out:(|R|IdLnk), i,j:|R|.
  ring(R;in;out)
  
  x.n(x)^d(i;j)(i) = j & (k:. k<d(i;j)  x.n(x)^k(i) = j)

1

1. R : Id 2. in : |R|IdLnk 3. out : |R|IdLnk 4. i : |R| 5. j : |R| 6. ring(R;in;out)   x.n(x)^d(i;j)(i) = j & (k:. k<d(i;j)  x.n(x)^k(i) = j)

15 steps

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