Def d(i;j) == mu(k.x.n(x)^k+1(i) = j)+1

is mentioned

In prior sections: mb event system 7

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