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)

is not otherwise mentioned in this or prior sections.

Try larger context: DiscrMathExt IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html