:: deftheorem Def6 defines diagRvalued HERMITAN:def 6 :
for V being non empty ModuleStr over F_Complex
for f being Form of V,V holds
( f is diagRvalued iff for v being Vector of V holds Im (f . (v,v)) = 0 );