Definitions
num
thy
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Some definitions of interest.
assoced
Def
a
~
b
==
a
|
b
&
b
|
a
Thm*
a
,
b
:
. (
a
~
b
)
Prop
coprime
Def
CoPrime(
a
,
b
) == GCD(
a
;
b
;1)
Thm*
a
,
b
:
. CoPrime(
a
,
b
)
Prop
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
num
thy
1
Sections
StandardLIB
Doc
a,b:
. (a ~ b) 
Propa,b:. CoPrime(a,b) Propa,b:. (a ~ b) Propa,b:. CoPrime(a,b) Prop
