:: deftheorem Def14 defines homogeneousSAF BILINEAR:def 14 :
for K being non empty multMagma
for V, W being non empty ModuleStr over K
for f being Form of V,W holds
( f is homogeneousSAF iff for w being Vector of W holds FunctionalSAF (f,w) is homogeneous );