Theorem ContinuousLinearMap.norm_restrictScalars

Modification history