Def ContinuousLinearMap.restrictScalarsIsometry

Modification history