Theorem ContinuousLinearMap.continuous_restrictScalars

Modification history