Theorem ContinuousLinearMap.opNorm_le_of_unit_norm

Modification history