Def  least i:. p(i) == if p(0) 0 else (least i:. p(i+1))+1 fi  (recursive)

is mentioned

In prior sections: DiscreteMath

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