:: deftheorem Def11 defines modetrans LOPBAN10:def 13 :
for X being RealNormSpace-Sequence
for Y being RealNormSpace
for f being object st f in BoundedMultilinearOperators (X,Y) holds
modetrans (f,X,Y) = f;