Theorem ContinuousLinearMap.op_nnnorm_mul_apply

Modification history