IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
prime or smaller prime factor2111 1. x : {2...}
2. prime(x)
c:{1...}. xx & prime(x) & x = xc
By:
Witness: 1 ...
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
c:{1...}. x
x & prime(x) & x = x
c
