Add climshft2 to iset.mm
Add climshft2 to iset.mm

The statement of the theorem is as in set.mm. The proof is similar but
needs various steps changed ( ovex to ovshftex , fvex to funfvex ,
shftval4 to shftval4g ).

metamath/set.mm,metamath/set.mm,metamath/set.mm