IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
iter perm cycles uniform1112111 1. k : 2. f : kk 3. Inj(k; k; f)
4. u:k. i:. f{i}(u) = u 5. h : k 6. u:k. f{h(u)}(u) = u 7. i : 8. u : k 9. m : 10. i = h(u)m f{h(u)}(u) = u
By:
BackThru: Hyp:6 ...w
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html