Nuprl Definition : ws_nil_compseq_tag_def
11,40
postcript
pdf
ws_nil{
ws
nil
compseq
tag
def
:ObjectId}(
F
) == compseq(weighted-sum([];
F
); 0)
latex
Definitions
weighted-sum(
p
;
F
)
,
[]
,
#$n
origin