Nuprl - StandardLib Citations of scomb

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def S(x,y,z) == x(z,y(z))

No mentions to report in StandardLib.

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