:: deftheorem HDef13 defines homogeneousFAF ZMODLAT1:def 29 :
for V, W being non empty ModuleStr over INT.Ring
for f being FrForm of V,W holds
( f is homogeneousFAF iff for v being Vector of V holds FrFunctionalFAF (f,v) is homogeneous );