Nuprl - Proof: gcd p neg arg a

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: gcd p neg arg a

a,b,y:

. GCD(a;b;y)

GCD(-a;b;y)

By:

UnivCD

Generated subgoal:

1 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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html