Theorem ContinuousLinearMap.op_norm_flip

Modification history