:: deftheorem Def24 defines degenerated-on-right BILINEAR:def 24 :
for K being ZeroStr
for V, W being non empty ModuleStr over K
for f being Form of V,W holds
( f is degenerated-on-right iff rightker f <> {(0. W)} );