theorem LTh29: :: ZMODUL05:44

for R being Ring
for V, W being LeftMod of R
for l being Linear_Combination of V
for T being linear-transformation of V,W holds T @* l is Linear_Combination of T .: (Carrier l)