NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
f
:((
mod 2)
A
).
f
A
[sfa_doc_polymorph_example1]
cites the following:
Thm*
k
:
.
(
mod
k
)
[sfa_doc_int_sub_int_mod]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
NuprlPrimitives
Sections
NuprlLIB
Doc
f:((
mod 2)
A). f 
Ak:. 
( mod k)f:(( mod 2)A). f Ak:. ( mod k)