:: deftheorem Def9 defines modetrans CLOPBAN1:def 9 :
for X, Y being ComplexNormSpace
for f being object st f in BoundedLinearOperators (X,Y) holds
modetrans (f,X,Y) = f;