Nuprl - Proof: sq stable coprime 2

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

1. i :

2. j :

(1 | i & 1 | j & (

. z | i & z | j

z | 1))

1 | j

By:

Witness j

Generated subgoals:

None

About:

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