Theorem ContinuousLinearMap.opNorm_mul_apply

Modification history