theorem Th20: :: LOPBAN14:19

for X, Y being RealNormSpace
for f being object holds
( f is LinearOperator of (product <*X*>),Y iff f is MultilinearOperator of <*X*>,Y )