Def  (Replace values x s.t. P(x) by y in f)(i) == if P(f(i)) y else f(i) fi

is mentioned

In prior sections: DiscreteMath

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