Theorem ContinuousLinearMap.opNorm_le_bound'

Modification history