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