theorem Th28: :: CLOPBAN1:28

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