IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
One has no prime divisors.
At:
no prime divs one
b:
. b | 1 
prime(b)
| By: |
Analyze ...w |
Generated subgoal:
| 1 |
1. b :
b | 1 prime(b)
 | 4 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
