for K being non empty right_complementable add-associative right_zeroed addLoopStr
for V being non empty ModuleStr over K
for f being additiveFAF additiveSAF alternating Form of V,V
for v, w being Vector of V holds f . (v,w) = - (f . (w,v))