Nuprl - Proof: divides anti sym n 1 2 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: divides anti sym n 1 2 2

1. a :

2. b :

3. a | b
4. b | a
5.

a = 0
6.

b = 0

a = b

By:	(FwdThru Thm* a:, b:. a \| b ab [3]) THEN (FwdThru Thm* a:, b:. a \| b ab [4])

Generated subgoal:

1 7. ab
8. ba
a = b
Auto

About:

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