R:(Id
), in,out:(|R|IdLnk), i,j:|R|.
Thm* ring(R;in;out)
Thm*
Thm*
x.n(x)^d(i;j)(i) = j & (k:
. k<d(i;j) 
x.n(x)^k(i) = j)is mentioned by
| R:(Id), in,out:(|R|IdLnk), i,j:|R|.
Thm* ring(R;in;out) Thm*
Thm* x.n(x)^d(i;j)(i) = j & (k:. k<d(i;j) x.n(x)^k(i) = j) | [rdist-property] |
In prior sections: core well fnd int 1 bool 1 int 2 list 1 rel 1 mb nat mb list 1 num thy 1 mb list 2 mb event system 1 mb event system 2 mb event system 3 mb event system 5 mb event system 6 sqequal 1
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html