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