:: deftheorem HDef11 defines additiveFAF ZMODLAT1:def 27 :
for V, W being non empty ModuleStr over INT.Ring
for f being FrForm of V,W holds
( f is additiveFAF iff for v being Vector of V holds FrFunctionalFAF (f,v) is additive );