Theorem ContinuousLinearMap.op_norm_extend_le

Modification history