Theorem ContinuousLinearMap.opNorm_le_bound₂

Modification history