for R being Ring
for X, Y being LeftMod of R
for l being Linear_Combination of X
for L being linear-transformation of X,Y st L is bijective holds
L @* l = l * (L ")