:: deftheorem defSymForm defines symmetric ZMODLAT2:def 6 :
for V being ModuleStr over INT.Ring
for f being FrForm of V,V holds
( f is symmetric iff for v, w being Vector of V holds f . (v,w) = f . (w,v) );