Nuprl - Proof: nsub mul 1 1 1

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

1. b :

2. c :

3. 0

b = c

(

b))

By:	Analyze THEN (2 Times Analyze-1)

Generated subgoals:

None

About:

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