Theorem ContinuousLinearMap.restrictScalars_add

Modification history