:: deftheorem HDef14 defines homogeneousSAF ZMODLAT1:def 30 :
for V, W being non empty ModuleStr over INT.Ring
for f being FrForm of V,W holds
( f is homogeneousSAF iff for w being Vector of W holds FrFunctionalSAF (f,w) is homogeneous );