:: deftheorem Def11 defines modetrans LOPBAN_1:def 11 :
for X, Y being RealNormSpace
for f being object st f in BoundedLinearOperators (X,Y) holds
modetrans (f,X,Y) = f;