:: deftheorem Def4 defines - BILINEAR:def 4 :
for K being non empty addLoopStr
for V, W being non empty ModuleStr over K
for f, b₅ being Form of V,W holds
( b₅ = - f iff for v being Vector of V
for w being Vector of W holds b₅ . (v,w) = - (f . (v,w)) );