Nuprl - Proof: gcd p neg arg 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: gcd p neg arg 2

a,b,y:

. GCD(a;b;y)

GCD(a;-b;y)

By:

GenUnivCD

Generated subgoals:

1 1. a :
2. b :
3. y :
4. GCD(a;b;y)
GCD(a;-b;y)
1 step

2 1. a :
2. b :
3. y :
4. GCD(a;-b;y)
GCD(a;b;y)
2 steps

About:

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

1	1. a : 2. b : 3. y : 4. GCD(a;b;y) GCD(a;-b;y)	1 step
2	1. a : 2. b : 3. y : 4. GCD(a;-b;y) GCD(a;b;y)	2 steps