:: deftheorem defines Free_LMod LMODFREE:def 14 :
for R being Ring
for X being set holds Free_LMod (X,R) = FS_Funcs (X,R);