:: deftheorem Def2 defines Shift VSDIFF_1:def 4 :
for F, G being Field
for V being VectSp of F
for W being VectSp of G
for f being Function of V,W
for h being Element of V
for b₇ being Function of V,W holds
( b₇ = Shift (f,h) iff for x being Element of V holds b₇ . x = f . (x + h) );