theorem HM7: :: ZMODUL06:46

for R being Ring
for X, Y being LeftMod of R
for A being Subset of X
for T being linear-transformation of X,Y st T is bijective holds
T .: the carrier of (Lin A) = the carrier of (Lin (T .: A))