Theorem ContinuousLinearMap.restrictScalars_neg

Modification history