Theorem ContinuousMultilinearMap.opNorm_prod

Modification history