Theorem ContinuousLinearMap.opNorm_subsingleton

Modification history