Theorem ContinuousLinearMap.op_norm_lsmul

Modification history