Def  find_first_iter(v.p(v); v.f(v); a)
Def  == if p(a) a else find_first_iter(v.p(v); v.f(v); f(a)) fi
Def  (recursive)

No mentions to report in DiscrMathExt.

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