Def strict_part(x,y.R(x;y);a;b) == R(a;b) & R(b;a)

is mentioned

In prior sections: rel 1

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