MarkB generic Sections NuprlLIB Doc

Def (x l) == i:. i < ||l|| & x = l[i] T

is mentioned

In prior sections: mb list 1 mb list 2


MarkB generic Sections NuprlLIB Doc