Theorem ContinuousLinearMap.ratio_le_opNorm

Modification history