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