Theorem ContinuousLinearMap.op_norm_le_bound

Modification history