MarkB
generic
Sections
NuprlLIB
Doc
Def
(i, j)(x) == if x=
i
j ;x=
j
i else x fi
is mentioned
In prior sections:
mb
nat
mb
list
1
mb
list
2
MarkB
generic
Sections
NuprlLIB
Doc
i
j ;x=ji else x fi