theorem HM7: :: ZMODUL06:46

for X, Y being Z_Module
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))