:: deftheorem defines lCFST ZMODUL05:def 7 :
for K being Ring
for V, W being VectSp of K
for l being Linear_Combination of V
for T being linear-transformation of V,W
for w being Element of W holds lCFST (l,T,w) = l * (canFS ((T " {w}) /\ (Carrier l)));