:: deftheorem defines fs_LMULT LMODFREE:def 11 :
for R being Ring
for X being set holds fs_LMULT (X,R) = (LMULT (X,R)) | [: the carrier of R,(fs_Funcs (X,R)):];