IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
fib coprime sfa311 1. n :
2. k:. k<n (x,y:. fib(k)x+fib(k+1)y = 1)
a,b:. fib(n)a+1b = 1
By:
Witness: 0 | 1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html