:: deftheorem BLDef14 defines homogeneousSAF ZMATRLIN:def 25 :
for V, W being non empty ModuleStr over INT.Ring
for f being Form of V,W holds
( f is homogeneousSAF iff for w being Vector of W holds FunctionalSAF (f,w) is homogeneous );