Nuprl - num_thy_1 LEMMAs for gcd_p_neg_arg_a

num thy 1 Sections StandardLIB Doc

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

Rank	Theorem	Name
3	Thm* a,b,y:. GCD(a;b;y) GCD(-a;b;y)	[gcd_p_neg_arg_a]
cites the following:
2	Thm* a,b,y:. GCD(a;b;y) GCD(a;-b;y)	[gcd_p_neg_arg]
0	Thm* a,b,y:. GCD(a;b;y) GCD(b;a;y)	[gcd_p_sym]

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

num thy 1 Sections StandardLIB Doc