IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
coprime elim2 1. a :
2. b :
3. c:. c | ac | bc | 1 & 1 | c 4. z :
5. z | a 6. z | b z | 1
By:
BackThru 3
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html