NumThyExamples Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def CoPrime(a,b) == GCD(a;b;1)

is mentioned by

Thm* n:. CoPrime(fib(n),fib(n+1))[fib_coprime_sfa3]
Thm* n:. CoPrime(fib(n),fib(n+1))[fib_coprime_sfa2]
Thm* n:. CoPrime(fib(n),fib(n+1))[fib_coprime_sfa]

In prior sections: num thy 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

NumThyExamples Sections NuprlLIB Doc