Nuprl - Proof: divides iff rem zero

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: divides iff rem zero

, b:

. b | a

(a rem b) = 0

By:

GenUnivCD

Generated subgoals:

1 1. a :
2. b :
3. b | a
(a rem b) = 0
20 steps

2 1. a :
2. b :
3. (a rem b) = 0
b | a
3 steps

About:

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

1	1. a : 2. b : 3. b \| a (a rem b) = 0	20 steps
2	1. a : 2. b : 3. (a rem b) = 0 b \| a	3 steps