MarkB generic Sections NuprlLIB Doc

Def (L o f) == mklist(||L||;i.L[(f(i))])

is mentioned

In prior sections: mb list 2


MarkB generic Sections NuprlLIB Doc