theorem :: LMODFREE:7

for X being non empty set
for R being non degenerated Ring
for f being Element of (Free_LMod (X,R)) holds Support (ev_iota f) = Support (@ f)