Selected Objects

Introduction		Introductory Remarks
THM	quot_rem_exists_n_sfa	a:, b:. q:, r:b. a = qb+r
THM	fib_coprime_sfa	n:. CoPrime(fib(n),fib(n+1))
THM	fib_coprime_sfa2	n:. CoPrime(fib(n),fib(n+1))
THM	fib_coprime_sfa3	n:. CoPrime(fib(n),fib(n+1))
THM	bezout_ident_n_sfa	b:, a:. u,v:. GCD(a;b;ua+vb)
THM	stamps_sfa	i:{8...}. m,n:. 3m+5n = i
THM	stamps_why_8cents	(m,n:. 3m+5n = 7)
THM	stamps	i:{8...}. m,n:. 3m+5n = i

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