:: deftheorem defines - ZMATRLIN:def 17 :
for V, W being non empty ModuleStr over INT.Ring
for f, g being Form of V,W holds f - g = f + (- g);