Theorem ContinuousLinearMap.op_norm_le_of_shell'

Modification history