Theorem ContinuousMultilinearMap.opNorm_neg

Modification history