Nuprl - Proof: components divide iter mul 1 1

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

1. a :

2. b :

3. e : {a..b

}

4. i : {a..b

}

e(i) | (

i:{a..i

}. e(i))

e(i)

(

i:{i+1..b

}. e(i))

By:	Witness: ( i:{a..i}. e(i))( i:{i+1..b}. e(i))

Generated subgoals:

None

About:

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