Nuprl - Proof: zero divs only zero 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: zero divs only zero 1

1. a :

2. 0 | a

a = 0

By:	Unfold `divides` 2 THEN Analyze 2

Generated subgoal:

1 2. c :
3. a = 0c
a = 0
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html