IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
two sqr roots LEMMA1
1
1
1. prime(2)
2. p : 
3. q : 
4. p
p = 2qq
2 | pp
| By: |
Witness: qq |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
