theorem :: ZMODUL02:37

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