theorem :: ZMODUL02:37

for R being Ring
for V being LeftMod of R
for L being Linear_Combination of V holds Carrier (- L) = Carrier L by VECTSP_6:38;