MarkB
generic
Sections
NuprlLIB
Doc
Def
f[n:=x](i) == if i=
n
x else f(i) fi
No mentions to report in MarkB_generic.
MarkB
generic
Sections
NuprlLIB
Doc