Theorem ContinuousLinearMap.op_norm_ext

Modification history