Nuprl - Proof: fun exp add sq 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fun exp add sq 2

1. n :

2. 0<n
3.

, f,i:Top. (f^n-1+m(i)) ~ (f^n-1(f^m(i)))

, f,i:Top. (f^n+m(i)) ~ (f^n(f^m(i)))

By:

UnivCD

Generated subgoal:

1 4. m :
5. f : Top
6. i : Top
(f^n+m(i)) ~ (f^n(f^m(i)))
6 steps

About:

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