NumThyExamples Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
RankTheoremName
8Thm* n:. CoPrime(fib(n),fib(n+1))[fib_coprime_sfa3]
cites the following:
7Thm* a,b:. CoPrime(a,b (x,y:ax+by = 1)[coprime_bezout_id]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
NumThyExamples Sections NuprlLIB Doc