Theorem ContinuousLinearMap.op_norm_neg

Modification history