for X, Y being ComplexNormSpace
for f being Lipschitzian LinearOperator of X,Y holds modetrans (f,X,Y) = f