(8steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fib coprime 2
1. n : 
2. 0<n
3. CoPrime(fib(n-1),fib(n-1+1))
  CoPrime(fib(n),fib(n+1))
By: OnMCls [0;3] ArithSimp

Generated subgoal:

1 3. CoPrime(fib(-1+n),fib(n))
  CoPrime(fib(n),fib(1+n))
4 steps

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

(8steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc