:: deftheorem Def5 defines hermitan HERMITAN:def 5 :
for V being non empty ModuleStr over F_Complex
for f being Form of V,V holds
( f is hermitan iff for v, u being Vector of V holds f . (v,u) = (f . (u,v)) *' );