Theorem ContinuousLinearMap.opNorm_mul_flip_apply

Modification history