Nuprl Definition : isint_pair_compseq_tag_def
11,40
postcript
pdf
isint_pair{
isint
pair
compseq
tag
def
:ObjectId}(
b
;
a
;
y
;
x
) == compseq(isint(<
x
,
y
>;
a
;
b
);
b
)
latex
Definitions
<
a
,
b
>
,
isint(
z
;
a
;
b
)
origin