IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
primes sqr roots LEMMA1121111111 1. a : 2. prime(a)
3. p : 4. q : 5. pp = aqq 6. p' : 7. p = ap' 8. a>0
9. p>0
10. p'>0
1<a
By:
FwdThru: Thm*x:. prime(x) 2x & (i:{2..x}. i | x) on [ prime(a) ]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
p = a
1<a
x:
2
x & 
(
i:{2..x
}. i | x) on [ prime(a) ]
