Nuprl - Proof: self divisor mul 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: self divisor mul 1 1

1. a :

2. b :

3. a

b | a

b) ~ a

By:	Analyze 0 THENL [Trivial;Witness b]

Generated subgoals:

None

About:

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