Theorem ContinuousLinearMap.restrictScalarsIsometry_toLinearMap

Modification history