Theorem ContinuousLinearMap.op_norm_le_of_unit_norm

Modification history