Theorem ContinuousLinearMap.opNorm_mul

Modification history