:: deftheorem Def4 defines cmplxhomogeneousFAF HERMITAN:def 4 :
for V, W being non empty ModuleStr over F_Complex
for f being Form of V,W holds
( f is cmplxhomogeneousFAF iff for v being Vector of V holds FunctionalFAF (f,v) is cmplxhomogeneous );