IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
natprime nondivs11 1. x : 2. prime(x)
3. i : {2..x}
4. 2x 5. i | x i:{2..x}. i | x
By:
Witness: i ...
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
}
x
i:{2..x
