Nuprl - Proof: range sublist 1 1 1 1

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

1. T : Type
2. T List
3. n :

4. f :

||nil||
5. increasing(f;n)
6.

n = 0
7. f(0)

||nil||

n = 0

By:	All Reduce

Generated subgoals:

None

About:

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