WhoCites
Definitions
rat
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites qnum?
qnum
Def
p
/
q
== <
p
,
q
>
Thm*
n
:
,
d
:
.
n
/
d
Syntax:
p
/
q
has structure:
qnum(
p
;
q
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
rat
1
Sections
StandardLIB
Doc