Nuprl Definition : isatom2_pair_compseq_tag_def
11,40
postcript
pdf
isatom2_pair{
isatom2
pair
compseq
tag
def
:ObjectId}
isatom2_pair
(
b
;
a
;
y
;
x
)
== compseq(isatom2(<
x
,
y
>;
a
;
b
);
b
)
latex
origin