Theorem ContinuousLinearMap.op_norm_mul

Modification history