Theorem ContinuousLinearMap.coe_restrictScalarsIsometry

Modification history