IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
prime elim11121 1. p :
2. prime(p)
3. p = 0
4. (p ~ 1)
5. b,c:. (b ~ 1) (c ~ 1) p = bc 6. a :
7. c :
8. p = ac 9. a = 0
10. c = 0
(a ~ 1) (a ~ p)
By:
RWO "10" 8
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html