Nuprl - Proof: sq stable coprime 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable coprime 1

1. i :

2. j :

(1 | i & 1 | j & (

. z | i & z | j

z | 1))

1 | i

By:

Witness i

Generated subgoals:

None

About:

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