MarkB
generic
Sections
NuprlLIB
Doc
Def
swap(L;i;j) == (L o (i, j))
is mentioned
In prior sections:
mb
list
2
MarkB
generic
Sections
NuprlLIB
Doc