Nuprl - Proof: coprime bezout id2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: coprime bezout id2

a,b:

. (

x,y:

. a

x+b

y = 1)

CoPrime(a,b)

By:

UnivCD

Generated subgoal:

1 1. a :
2. b :
3. x,y:. ax+by = 1
CoPrime(a,b)
8 steps

About:

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